Available courses

Алгебра логики - это математический аппарат, который позволяет производить алгебраические действия над логическими высказываниями. Алгебру логики также называют булевой алгеброй, по имени английского математика Джорджа Буля, разработавшего основные ее методы в XIX веке.

Логическое высказывание - это утверждение, которое может быть либо истинным, либо ложным.  Логические высказывания обычно обозначаются латинскими буквами. В алгебре логики определены три основных логических операций с высказываниями и законы для выполнения этих операций. Действия с логическими высказываниями записываются в виде логических выражений.

Область математики, известная как теория алгоритмов, посвящена исследованию свойств, способов записи и сферы применения различных алгоритмов, а также созданию новых алгоритмов. Алгоритмизация — процесс разработки алгоритма (плана действий) для решения задачи.


Объявления сайта

(There are no discussion topics yet in this forum)