Учебное пособие 800514
.pdfБИБЛИОГРАФИЧЕСКИЙ СПИСОК
1.Булгакова И.Н., Федотенко Г.Ф. Дискретная математика. Элементы теории. Задачи и упражнения. Учеб. пособие. – Воронеж: Из-во ВГУ, 2004.– 62с.
2.Гаврилов Г.П., Сапоженко А.А. Сборник задач по дискретной математике.–М., 1997. – 336 с.
3.Криницкий Н.А. Алгоритмы вокруг нас. – Изд. 2-е. - М.:
Наука, 1984. – 224с.
4.Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов. – М., 1995.
– 255 с.
5.Столл Р. Множества, логика, аксиоматические теории. - М.: Просвещение, 1968.- 231с.
6.Судоплатов С.В., Овчинникова Е.В. Элементы дискретной математики: Учебник. - М.: ИНФРА-М, Новосибирск, Изд-во НГТУ, 2002. - 280 с.
7.Шелупанов А.А., Зюльков В.М. Математическая логика и теория алгоритмов: Учебное пособие. - Томск: STT, 2001. - 176 с.
8.Яблонский С.В. Введение в дискретную математику: Учебное пособие для вузов.-3-е изд. - М.: Высшая школа,
2002. - 384 с.
СОДЕРЖАНИЕ |
|
Введение |
3 |
1. Краткие сведения о множествах и отношениях |
5 |
1.1. Элементы теории множеств. Прямое произведение |
5 |
1.2 .Бинарные отношения. Основные понятия и |
|
их свойства |
20 |
1.3 .Специальные бинарные отношения |
30 |
2. Основы математической логики |
40 |
2.1. Алгебра высказываний |
40 |
2.2. Формулы алгебры высказываний |
47 |
2.3. Булевы функции |
53 |
2.4. Нормальные формы булевых функций |
60 |
2.4.1. Представление булевых функций в виде дизъюнк- |
|
тивной и конъюнктивной нормальных форм |
|
60 |
|
2.4.2. Совершенные нормальные формы |
67 |
2.5. Минимизация булевых функций |
75 |
2.6. Приложение алгебры логики к релейно-контактным |
|
схемам |
81 |
2.7. Полнота и замкнутость булевых функций |
85 |
2.7.1. Полином Жегалкина |
85 |
2.7.2. Замкнутость |
91 |
2.7.3. Полнота |
97 |
2.8. Логика предикатов |
103 |
3. Основные положения теории алгоритмов |
117 |
3.1. Понятие алгоритма |
117 |
3.2. Машины Тьюринга |
119 |
Заключение |
128 |
Библиографический список |
129 |