Поиск на сайте math-solution.ru рефератов, курсовых, дипломных и контрольных работ, презентаций и т.д.
контрольная работа на тему:
Элементы математической логики. Исчисление высказываний
Определение формулы исчисления высказываний, основные цели математической логики. Построение формул алгебры высказываний. Равносильность формул исчисления высказываний, конъюнктивная и дизъюнктивная нормальная форма. Постановка проблемы разрешимости.
Категория: Математика
Предмет: Алгебра высказываний
Вид: контрольная работа
