- •Введение
- •Раздел 1. Формулы логики
- •Тема 1.1 Логические операции
- •Тема 1.2 Законы алгебры логики
- •Законы алгебры логики
- •Равносильные преобразования
- •Тема 1.3 Функции алгебры логики Функции алгебры логики
- •Специальные представления булевых функций
- •Минимизация нормальных форм
- •Операция двоичного сложения. Многочлены Жегалкина
- •Некоторые методы перехода от булевых функций к полиному Жегалкина
- •Раздел 2. Множества и отображения
- •Тема 2.1 Множества Основные понятия теории множеств
- •Операции над множествами
- •Диаграммы Эйлера-Венна
- •Законы теории множеств
- •Соотношение между множествами и составными высказываниями
- •Соотношение между высказываниями и соответствующими им множествами истинности
- •Тема 2.2 Отображения Бинарные отношения
- •Отображения и функции
- •Раздел 3. Предикаты Предикаты. Операции над предикатами
- •Кванторы
- •Раздел 4. Элементы теории алгоритмов Основные понятия теории алгоритмов
- •В настоящее время полученные на основе теории алгоритмов практические рекомендации получают всё большее распространение в области проектирования и разработки программных систем.
- •Литература
Литература
1. Акимов О.Е. Дискретная математика. Логика, группы, графы. – М.: Лаборатория базовых знаний, 2003г.
2. Андерсон, Джеймс А. Дискретная математика и комбинаторика. – М.: Вильямс, 2004г.
3. Аматова Г.Е., Аматов М.А. Математика. – М.: Академия педагогических и социальных наук, 2008г.
4. Асеев Г.Г., Абрамов О.М., Ситников Д.Э. Дискретная математика.- Харьков.: Торсинг, 2003г.
5. Бочкарева О.В. Учебное пособие по математике (специальные главы) М.: Радио и связь, 2001г.
6. Болтянский В.Г., Славин А.П. Беседы о математике. Книга1. Дискретные объекты. – М.: ФИМА, МЦНМО, 2002г.
7. Воронов М.В., Мещерякова Г.П. – Математика. Ростов н/Д.: Феникс, 2002г.
8. Гаврилов Г.П., Сапоженко А.А. Задачи и упражнения по дискретной математике. – М.: Физматлит, 2005г
9. Гончарова Г.А., Мочалин А.А. Элементы дискретной математики. – М.: ФОРУМ – ИНФРА – М.: 2007г.
10. Ерусалимский Я.М. Дискретная математика. М.: Вузовская книга, 2003г.
11. Иванов Б.Н. Дискретная математика. Алгоритмы и программы. – М.: Лаборатория базовых знаний, 2001г.
12. Лавров И.А., Максимов Л.Л. Задачи по теории множеств, математической логики и теории алгоритмов. – М.: Физматлит, 2001г.
13. Лексаченко В.А. Логика, множества, вероятность. – М.: Вузовская книга, 2001г.
14. Малаховский В.С. Числа знакомые и незнакомые. - Калининград.: ФГУИПП. Янтарный сказ, 2004г.
15. Москинова Г.И. Дискретная математика. – М.: Колос, 2000г.
16. Новиков Ф.А. Дискретная математика для программистов. – СПБ.: Питер, 2001г.
17. Романовский И.В. Дискретный анализ. – М.: Физматлит, СПБ: Невский диалект, 2001г.
18. Спирина М.С., Спирин П.А. Дискретная математика. – М.: Академия. 2004г.
19. Судоплатов С.В., Овчинникова Е.В. Элементы дискретной математики. – М.: ИНФРА – М, Новосибирск: НГТУ, 2002г.
20. Хаггарти Р. Дискретная математика для программистов. – М.: Техносфера, 2003г.
21. Шапорев С.Д. Дискретная математика. Курс лекций и практических занятий. – СПБ: БХВ – Петербург, 2005г.
22. Шиханович Ю.А. Введение в математику. – М.: Научный мир, 2005г.
23. Яблонский С.В. Введение в дискретную математику. М.: Высшая школа. 2003г.