Зачет. УГАТУ, преп. Орехов Ю.В. Уфа, 2016. 75 вопросов. 25 с. Алгебра высказываний. Примеры высказываний. Правильно построенные формулы. Таблица истинности. ДНФ, КНФ. Исчисление высказываний. Понятие доказательства в исчислении высказываний. Понятие алгебраической системы. Алгебра предикатов. Алфавит и язык алгебры предикатов. Понятие алгебраической системы данной сигнатуры....
Исчисление высказываний (ИВ). Основные понятия. Алгебра высказываний. Основные логические операции. Правила записи сложных суждений. Законы эквивалентных преобразований формул. Проблемы разрешимости формул. Таблицы истинности. Метод дедуктивного вывода. Modus ponens. Метод дедуктивного вывода. Modus tollens. Основные аксиомы вывода. Принцип резолюции. Исчисление предикатов....
Ответы по темам за 1 семестр математической логики. Ответы на экзаменационные билеты по математической логике всего 24 вопроса. Вопросы по темам от: 1) Двузначная логика, булевы функции, до 24) Множества и операции над ними.
Комментарии