Дискретная математика. Рабочая программа. Бондаренко Л.Н. - 5 стр.

                    1                        2       3      4       5
Разложения булевых функций по перемен-       2       2      2
ным.
Теорема о функциональной полноте, приме-     2       2      2
ры функционально полных базисов.
Методы минимизации булевых функций.          4       4      4
Основные понятия теории графов.              2       2      2
Маршруты, циклы, связность.                  2       2      2
Раскраски. Планарные графы.                  2       2      2
Деревья. Задачи подсчета деревьев специ-     2       2      2
ального вида.
Логика предикатов                            2       2       2
Формальные языки и грамматики.               2       2       2
Конечные автоматы.                           2       2       2
Минимизация конечных автоматов.              2       2       2
Сети Петри.                                  2       2       2
Программная реализация автоматов и сетей.    2       2       2
                                   Сумма:   34      34      34
     7. Лекции
     7.1 Разделы и их содержание
     7.1.1 Введение в формальную логику, исчисление высказываний
     Синтаксис и семантика исчисления высказываний. Исчисление высказы-
ваний и естественный язык. Выполнимые и общезначимые формулы. Аксиомы
исчисления высказываний. Правила вывода.
      7.1.2 Основы алгебры логики
      Основные понятия, связанные с булевым кубом и функциями алгебры ло-
гики. Элементарные булевы функции и их свойства.
     7.1.3 Способы задания булевых функций, реализация функциональными
элементами
     Формулы. Реализация булевых функций формулами. Принцип двойст-
венности. Основные классы булевых функций. Базовые функциональные эле-
менты.
     7.1.4 Разложения булевых функций по переменным
     Разложение булевых функций по переменным. Совершенная дизъюнк-
тивная нормальная и совершенная конъюнктивная нормальная формы. Поли-
номы Жегалкина. Не полностью определенные (частные) булевы функции.