О книге
В девятнадцатом выпуске серии «Математика в техническом университете» изложены теория множеств и отношений, элементы современной абстрактной алгебры, теория графов, классические понятия теории булевых функций, а также основы теории формальных языков, куда включены теории конечных автоматов, регулярных языков, контекстно-свободных языков и магазинных автоматов. В анализе графов и автоматов особое внимание уделено алгебраическим методам.
Содержание учебника соответствует курсу лекций, который авторы читают в МГТУ им. Н.Э. Баумана.
Для студентов технических университетов. Может быть полезен преподавателям, аспирантам и инженерам.
Список литературы
- Архангельский А.А. Канторовская теория множеств. М .: Изд-во Моск. ун-та, 1988. 112 с.
- Ахо А., Ульман Дж. Теория синтаксического анализа, перевода и компиляции: пер. с а н гл.: В 2 т. Т. 1. М .: Мир, 1978. 612 с.
- хо А., Хонкрофт Дж., Ульман Дж. Построение и анализ вычислительных алгоритмов: пер. с англ. М .: Мир, 1979. 536 с
- Барти Т., Биркгоф Г. Современная прикладная алгебра: пер. с англ. М .: Мир, 1976. 400 с.
- Белоусов А.И., Мартынов Б.В., Щетинин А.Н. Лекции по дискретной математике. М .: Изд-во МГТУ им. Н .Э. Баумана, 1994. 96 с
- Богомолов А.М ., Салий В.Н. Алгебраические основы теории дискретных систем. М.: Наука, 1997. 368 с
- Гладкий А.В. Формальные грамматики и языки. М.: Наука, 1973. 386 с.
- Гретцер Г. Общая теория решеток: пер. с англ. М .: Мир, 1982. 456 с.
- Евстигнеев В.А. Применения теории графов в программировании. М .: Наука, 1985. 352 с.
- Каргополов М.И., Мерзляков Ю.И. Основы теории групп. М.: Наука, 1972. 240 с.
- Колмогоров А.Н., Драгалин А.Г. Введение в математическую логику. М .: Изд-во Моск. ун-та, 1982. 120 с
- Кон П. Универсальная алгебра: пер. с англ. М.: Мир, 1968. 352 с
- Кристофидес Н. Теория графов. Алгоритмически й подход: пер. с англ. М .: Мир, 1978. 432 с.
- Кук Д., Бейз Г. Компьютерная математика: пер. с англ. М .: Наука, 1990. 384 с.
- Куратовский К., Мостовский А. Введение в теорию м н ожеств: пер. с англ. М .: М и р, 1970. 416 с.
- Лекции по теории графов / В .А . Емеличев, О .И . М ельников, В .И . Сарванов, Р .И . Тышкевич. М .: Наука, 1990. 384 с
- Нефедов В.Н., Осипова В.А. Курс дискретной математики. М .: Изд-во М А И , 1992. 264 с
- Нигматуллин, Р. Сложность булевых функций. М .: Наука, 1991. 240 с
- Плоткин Б.И., Гринглаз Л.Я., Гварамия А.А. Элементы алгебраической теории автоматов. М.: Высш. шк., 1994. 191 с.
- СаломааА. Жемчужины теории формальных языков: пер. с англ. М .: Мир, 1986.
- Сикорски Р. Булевы алгебры : пер. с англ. М .: Мир, 1969. 375 с.
- Шенфилд Дж. Математическая логика: пер. с англ. М .: Наука, 1975. 528 с
- Шиханович Ю.А. Введение в современную математику: Начальные понятия. М .: Наука, 1965. 376 с
- Яблонский С.В. Введение в дискретную математику. 3-е изд. М .: Высш. шк., 2001. 384 с.
- Гаврилов Г.П., Сапоженко А.А. Сборник задач по дискретной математике. 2-е изд. М .: Наука, 1992. 368 с.
- Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов . 3-е изд. М .: Физматлит, 1995. 255 с.
- Сборник задач по алгебре / под ред. А .И . Кострикина. М .: Н аука, 1987. 352 с
- Акритас А. Основы компьютерной алгебры с приложениями: пер. с англ. М .: Мир, 1994. 544 с.
- Булос Дж., Джеффри Р. Вычислимость и логика : пер. с англ. М .: Мир, 1994. 396 с
- Вирт Н. Алгоритмы и структуры данных: пер. с англ. М .: Мир, 1989. 360 с.
- Глушков В.М., Цейтлин Г.Е., Ющенко Е.Л. Методы символьной мультиобработки. Киев: Наук, думка, 1980. 252 с
- Донохоу П. О взаимодополняющих определениях // Семантика языков программирования: Сб. статей. М .: Мир, 1980. С. 222-394
- Ершов Ю .Л., Палютин Е.А. Математическая логика. М .: Наука, 1979. 320 с.
- Кантор Г. Труды по теории множеств. М .: Наука, 1985. 430 с.
- Касьянов В.Н. Оптимизирующие преобразования программ. М .: Наука, 1988. 336 с.
- Катленд Н. Вычислимость. Введение в теорию рекурсивных функций: пер. с англ. М .: Мир, 1983. 256 с
- Кнут Д. Искусство программирования для ЭВМ : В 3 т. Т. 1: Основные алгоритмы . М .: Наука, 1976. 736 с
- Кофман А. Введение в прикладную комбинаторику. М .: Наука, 1975. 480 с.
- Кушнер Б.А. Лекции по конструктивному математическому анализу. М .: Наука, 1973. 448
- Мендельсон Э. Введение в математическую логику. М .: Наука, 1975. 320 с
- Матросов В .Л., Стеценко ВА. Лекции по дискретной математике. М .: М Г П У , 1997. 220 с
- Успенский В.А. Теорема Геделя о неполноте. М .: Наука, 1982. 111 с
- Фоменко А.Т. Наглядная геометрия и топологи я . М .: Изд-во Моск. ун-та, 1992. 432 с
- Handbook of Theoretical Computer Science. Vol. 1: Algorithms and Complexity . V ol. 2: Formal Models and Semantics. Elsevier (North Holland ), 1990
