Зміст курсу "Навчальний курс "Математична логіка", ФМФ"
Матеріал з Вікі ЦДУ
Версія від 10:47, 9 жовтня 2015; Zhaletska (обговорення • внесок)
Зміст курсу
Зміст
Зміст курсу
Змістовий модуль І. Назва модулю
Тема 1. Алгебра висловлень.
- 1.1 Вступ. Предмет математичної логіки. Історична довідка.
- 1.2 Алгебра висловлень і алгебра Буля. Типи формул. Тавтології. Способи побудови.
- 1.3 Відношення рівносильності в алгебрі висловлень. Рівносильні формули. Основні рівносильності. Теорема про заміну. Двоїсті операції. Двоїсті формули. Закон двоїстості.
- 1.4 Проблема вирішення в алгебрі висловлень. Способи її розв’язання. ДНФ та КНФ. Досконалі ДНФ та КНФ.
