Орехов Ю.В. Математическая логика. Ответы на зачет

Зачет. УГАТУ, преп. Орехов Ю.В. Уфа, 2016. 75 вопросов. 25 с.
Алгебра высказываний. Примеры высказываний. Правильно построенные формулы. Таблица истинности. ДНФ, КНФ.
Исчисление высказываний. Понятие доказательства в исчислении высказываний. Понятие алгебраической системы.
Алгебра предикатов. Алфавит и язык алгебры предикатов. Понятие алгебраической системы данной сигнатуры.
Теория алгоритмов. Схема построения модели алгоритма. Устройство машины Тьюринга.