Если f1 и f2 – формулы алгебры высказываний, то

формулы алгебры высказываний.

3. Содержание

   • Дискретная математика.
   • Множества.
   • П римеры
   • Или по другому
   • Операции над множествами.
   • Основные свойства операций над множествами.
   • Алгебра высказываний.
   • Логические операции над высказываниями.
   • Отрицание.
   • Конъюнкция.
   • Эквиваленция
   • Импликация.
   • Формулы алгебры высказываний.
   • Элементарные высказывания, символы логических переменных – формулы;
   • Если f1 и f2 – формулы алгебры высказываний, то
   • Других формул алгебры высказываний нет.
   • Равносильность формул.
   • Совершенная дизъюнктивная нормальная форма.
   • Приведение формулы к сднф.
   • Совершенная конъюнктивная нормальная форма.
   • Приведение формулы к скнф.
   • Полнота и замкнутость.
   • Минимизация днф.
   • Способы задания булевых функций.
   • Табличный способ задания.
   • Графический способ задания.
   • Аналитический способ задания.
   • Элементы теории графов.
   • Матрицы графов.
   • Некоторые общие понятия теории графов.
   • Взвешенные графы и алгоритмы поиска кратчайшего пути.
   • Задача о кратчайших путях.
   • Элементы теории алгоритмов.
   • Понятие автомата.
   • Машина Тьюринга.
   • Автомат Мили.
   • Правило суммы.
   • Правило прямого произведения.
   • Размещения с повторениями.
   • Размещения без повторений.
   • Перестановки.
   • Сочетания.
   • Сочетания с повторениями.