- •Часть II
- •Алгебра двузначной логики
- •Функции алгебры логики
- •Способы задания функций алгебры логики
- •Эквивалентность функций
- •Реализация функций формулами
- •Эквивалентность формул и тождества
- •Упрощение формул
- •Двойственные функции и принцип двойственности
- •Применение принципа двойственности
- •Аналитическая запись функций алгебры логики
- •Аналитическое построение сднф и скнф
- •Теорема о тройке связок
- •Полные системы функций и полиномы Жегалкина
- •Замыкание систем функций алгебры логики
- •Важнейшие замкнутые классы
- •Теорема Поста о полноте
- •Минимизация булевых функций
- •Основные понятия
- •Метод неопределенных коэффициентов
- •Тупиковые днф и алгоритм наискорейшего спуска
- •Геометрическое представление функций алгебры логики
- •Аналитическое построение сокращенной днф
- •Локальные алгоритмы
- •Алгоритм Куайна
- •Диаграммы Вейча–Карно
- •Построение днф по карте Карно
- •Задачи и упражнения
- •Список литературы
- •Часть II
- •400131, Волгоград, просп. Им. В.И.Ленина, 28
- •400131, Волгоград, ул. Советская, 35
-
Список литературы
В.Н. Нефедов, В.А. Осипова «Курс дискретной математики». М., МАИ, 1992.
Я.М. Ерусалимский «Дискретная математика». М., Вузовская книга, 2001.
С.В. Судоплатов, Е.В. Овчинникова «Элементы дискретной математики», Москва, ИНФРА-М, 2002.
О.П. Кузнецов, Г.М. Адельсон-Вельский «Дискретная математика для инженера». М., «Энергия», 1980.
Ф.А. Новиков «Дискретная математика для программистов». СПб: Питер, 2001.
Яблонский С.В. Введение в дискретную математику. Москва, Мир, 1989.
Мендельсон Э. Введение в математическую логику. Москва, Наука, 1976.
И.А. Лавров, Л.Л. Максимова. «Задачи по теории множеств, математической логике и теории алгоритмов». М., Физматлит, 2002.
Компьютеры. Справочное руководство в трех томах. Т.1. Москва, Мир, 1986.
Математическая энциклопедия в пяти томах под редакцией И.М. Виноградова. Москва, Советская энциклопедия, 1985.
Наталья Дмитриевна Бовда
Дискретная математика
Курс лекций
Часть II
Учебное пособие
Редактор Е. М. Марносова
Темплан 2006г. , позиция №
Лицензия ИД № 04790 от 18.05.2001
Подписано в печать Формат 60х84 1/16
Бумага газетная. Печать офсетная. Усл. печ. л. –
Уч.-изд.л. Тираж 300 экз. Заказ
Волгоградский государственный технический университет
400131, Волгоград, просп. Им. В.И.Ленина, 28
РПК «Политехник» Волгоградского государственного
технического университета
400131, Волгоград, ул. Советская, 35