Дискретная математика

В девятнадцатом выпуске серии «Математика в техническом университете» изложены теория множеств и отношений, элементы современной абстрактной алгебры, теория графов, классические понятия теории булевых функций, а также основы теории формальных языков, куда включены теории конечных автоматов, регулярных языков, контекстно-свободных языков и магазинных автоматов. В анализе графов и автоматов особое внимание уделено алгебраическим методам.
Содержание учебника соответствует курсу лекций, который авторы читают в МГТУ им. Н.Э. Баумана.
Для студентов технических университетов. Может быть полезен преподавателям, аспирантам и инженерам.

Список литературы

1. Архангельский А.А. Канторовская теория множеств. М.: Изд-во Моск. ун-та, 1988. 112 с.
2. Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции: пер. с англ.: В 2 т. Т. 1. М.: Мир, 1978. 612 с.
3. Ахо А., Хонкрофт Дж., Ульман Дж. Построение и анализ вычислительных алгоритмов: пер. с англ. М.: Мир, 1979. 536 с.
4. Барти Т., Биркгоф Г. Современная прикладная алгебра: пер. с англ. М.: Мир, 1976. 400 с.
5. Белоусов А.И., Мартынов Б.В., Щетинин А.Н. Лекции по дискретной математике. М.: Изд-во МГТУ им. Баумана, 1994. 96 с.
6. Богомолов А.М., Салий В.Н. Алгебраические основы теории дискретных систем. М.: Наука, 1997. 368 с.
7. Гладкий А.В. Формальные грамматики и языки. М.: Наука, 1973. 386 с.
8. Гретцер Г. Общая теория решеток: пер. с англ. М.: Мир, 1982. 456 с.
9. Евстигнеев В.А. Применение теории графов в программировании. М.: Наука, 1985. 352 с.
10. Картополов М.И., Мерзляков Ю.И. Основы теории групп. М.: Наука, 1972. 240 с.
11. Колмагоров А.Н., Драгалин А.Г. Введение в математическую логику. М.: Изд-во Моск. ун-та, 1982. 120 с.
12. Кон П. Универсальная алгебра: пер. с англ. М.: Мир, 1968. 352 с.
13. Кристофидес Н. Теория графов. Алгоритмический подход: пер. с англ. М.: Мир, 1978. 432 с.
14. Кук Д., Бейз Г. Компьютерная математика: пер. с англ. М.: Наука, 1990. 384 с.
15. Куратовский К., Мостовский А. Введение в теорию множеств: пер. с англ. М.: Мир, 1970. 416 с.
16. Лекции по теории графов / В.А. Емеличев, О.И. Мельников, В.И. Сарванов, Р.И. Тышкевич. М.: Наука, 1990. 384 с.
17. Нефедов В.Н., Осипова В.А. Курс дискретной математики. М.: Изд-во МАИ, 1992. 264 с.
18. Нигматуллин Р. Сложность булевых функций. М.: Наука, 1991. 240 с.
19. Плоткин Б.И., Гринглаз Л.Я., Гварамия А.А. Элементы алгебраической теории автоматов. М.: Высш. шк., 1994. 191 с.
20. Саломаа А. Жемчужины теории формальных языков: пер. с англ. М.: Мир, 1986.
21. Сикорски Р. Булевы алгебры: пер. с англ. М.: Мир, 1969. 375 с.
22. Шенфилд Дж. Математическая логика: пер. с англ. М.: Наука, 1975. 528 с.
23. Шиханович Ю.А. Введение в современную математику: Начальные понятия. М.: Наука, 1965. 376 с.
24. Яблонский С.В. Введение в дискретную математику. 3-е изд. М.: Высш. шк., 2001. 384 с.
25. Гаврилов Г.П., Сапоженко А.А. Сборник задач по дискретной математике. 2-е изд. М.: Наука, 1992. 368 с.
26. Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов. 3-е изд. М.: Физматлит, 1995. 255 с.
27. Сборник задач по алгебре / под ред. А.И. Кострикина. М.: Наука, 1987. 352 с.