Кафедра
36, "Информационные технологии"
ДИСКРЕТНАЯ
МАТЕМАТИКА.
МАТЕМАТИЧЕСКАЯ
ЛОГИКА
(для группы К1-361)
1-2 недели.
Основные операции над
высказываниями. Запись высказываний и таблицы истинности.
3-4 недели.
Тождественные преобразования
и логические задачи
5-6 недели.
Нормальные формы.
7-8 недели.
Многочлен Жегалкина.
Двойственные функции
9-10
недели.
Базисы высказывательных
функций.
11-12
недели.
Классы функций, замкнутые
относительно подстановки. Критерий функциональной полноты Поста-Яблонского.
13-14
недели.
Метод минимизации
высказывательных функций Квайна - Мак-Класки. Анализ и синтез релейных схем и
логических сетей.
15-16
недели.
Исчисление множеств.
ОСНОВНАЯ
ЛИТЕРАТУРА
|
1. |
510 Н73 |
Новиков
П.С. Элементы математической логики. М.: Наука, 1973. |
|
2. |
51 Л13 |
Лавров
И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и
теории алгоритмов. М.: Наука, 2003. |
|
3. |
519 Я14 |
Яблонский
С.В. Введение в дискретную математику. М.: Наука, 1979, 2001, 2003. |