В данной статье мы поговорим о математической логике, разберем основные операции и ассоциируем их с реальным миром. Математическая логика — это раздел современной формальной логики, в котором логические...

В основе алгоритмов лежит логика. От того, какая задана логика, зависит ход выполнения алгоритма. В концепции этой теории можно выделить два типа алгоритмов: условные и вычислительные. Условные алгоритмы представляют собой самые обычные алгоритмы с ветвлениями — если условие истинно, то выполняется один блок кода, иначе выполняется другой блок кода. Вычислительные алгоритмы — алгоритмы, в которых производятся вычислительные операции такие как арифметические или получение значения функции от аргумента...