Элементарные высказывания, символы логических переменных – формулы;

Содержание

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