Элементы математической логики. Исчисление высказываний
Определение формулы исчисления высказываний, основные цели математической логики. Построение формул алгебры высказываний. Равносильность формул исчисления высказываний, конъюнктивная и дизъюнктивная нормальная форма. Постановка проблемы разрешимости.
12.08.2010 |
Алгебра высказываний |
Математика |
Язык: русский |
Просмотры: 153
