- •Министерство образования Республики Беларусь
- •Содержание
- •Введение
- •Тема 1 функции алгебры логики
- •1.2 Булевы функции.
- •Тема 2 формулы алгебры логики
- •2.1 Равносильные формулы алгебры логики.
- •Тема 3 нормальные формы
- •3.1 Разложение булевых функций по переменным.
- •3.2 Алгебра Жегалкина.
- •Тема 4 полнота и замкнутость
- •4.1 Важнейшие замкнутые классы.
- •4.2 Теорема о полноте.
- •Тема 5 контактные и логические схемы
- •5.1 Анализ и синтез контактных схем.
- •5.3 Двоичный сумматор.
- •Вопросы для самоконтроля
- •1 Что такое релейно-контактная схема?
- •Тема 6 минимизация булевых функций
- •6.1 Сокращенная и тупиковая днф.
- •6.2 Метод импликантных матриц
- •Тема 7 алгебра логики предикатов
- •7.2 Кванторные операции над предикатами
- •7.3 Формулы логики предикатов
- •7.4 Равносильные преобразования формул
- •Тема 8 конечные автоматы
- •8.1 Детерминированные функции
- •8.2 Графическое задание детерминированных функций
- •8.3 Ограниченно-детерминированные функции
- •8.1 Детерминированные функции
- •8.2 Графическое задание детерминированных функций
- •8.3 Ограниченно-детерминированные функции
- •8.4 Каноническое уравнение ограниченно-детерминированных функций
- •Тема 9 элементы теории алгоритмов
- •9.1 Машина Тьюринга
- •9.2 Рекуррентные функции
- •9.3 Тезисы Тьюринга и Чёрча
- •Литература
- •Учебное издание
Литература
1 Карпов, В. Г. Математическая логика и дискретная математика [Текст] : учебное пособие для студентов университетов / В.Г.Карпов,
В. А. Мощенский. – Мн. : Вышэйшая школа, 1977. – 255с.
2 Яблонский, С. В. Введение в дискретную математику [Текст] : учебное пособие для вузов по специальности «Прикладная математика» /
С. В. Яблонский. – М. : Наука, 1979. – 272с.
3 Мощенский, В. А. Лекции по математической логике [Текст] : учебное пособие для студентов математических специальностей вузов /
В. А. Мощенский. – Мн. : Изд. Центр БГУ, 1973. – 159с.
4 Лавров, И. А. Задачи по теории множеств, математической логике и теории алгоритмов [Текст] : учебное пособие для студентов математических специальностей вузов / И. А. Лавров, Л. Л. Максимова. – 2-е стер. – М. : Наука, 1984. – 223с.
5 Гаврилов, Г. П. Сборник задач по дискретной математике [Текст] : учебное пособие для вузов по специальности «Прикладная математика»/ Г. П. Гаврилов, А. А. Сапоженко. – М. : Наука, 1984. – 223с.
Учебное издание
Семенчук Владимир Николаевич
ДИСКРЕТНАЯ МАТЕМАТИКА
КУРС ЛЕКЦИЙ
для студентов специальности
1-31 03 03 «Прикладная математика»
Редактор В.И. Шкредова
Корректор В.В. Калугина
Лицензия № 02330/0133208 от 30.04.04.
Подписано в печать . Формат 60х84 1/16.
Бумага писчая № 1. Гарнитура «Таймс» . Усл. п. л. .
Уч.-изд.л. . Тираж 120 экз. Заказ № .
Отпечатано с оригинала-макета на ризографе
учреждения образования
«Гомельский государственный университет
имени Франциска Скорины»
Лицензия № 02330/0056611 от 16.02.04.
246019, г. Гомель, ул. Советская, 104