Литература

Учебники:
1. Кузнецов О.П., Адельсон-Вельский Г.М. Дискретная математика для инженера. – М.: Энергоатомиздат, 1988. ^*

2. Ершов Ю.Л., Палютин Е.А. Математическая логика. – М.: Наука, 1979. ^*

3. Яблонский С.В. Введение в дискретную математику. – М.: Наука, 1986. ^*

4. Кук Д., Бейз Г. Компьютерная математика. – М.: Наука, 1990. ^*

5. Нефедов В.Н., Осипова В.А. Курс дискретной математики. – М.: Издательство МАИ, 1992. ^*

   Популярная литература:

6. Ж.-Л. Лорьер. Системы искусственного интеллекта. – М.: Мир, 1991.

7. Тейз, Грибомон, Луи. Логический подход к искусственному интеллекту. – Пер. с француз. – М.: Мир, 1990.

   Монографии:

8. Мальцев А.И. Алгебраические системы. – М.: Наука, 1970.

9. Лекции по теории графов. / Емеличев В.А., Мельников О.И. и др. – М.: Наука, 1990.

10. Оре О. Теория графов. – М.: Наука, 1980.

    Справочник:

11. Общая алгебра. Т. 1, 2. / В.А. Артамонов, В.Н. Салий, Л.А. Скорняков и др. Под общ. ред. Л.А. Скорнякова. – М.: Наука, 1991.

    Сборники задач:

12. Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов. М.: Наука, 1984.

13. Гаврилов С.П. Сапоженко А.А. Сборник задач по дискретной математике. – М.: Наука, 1978. ^*

14. Гиндикин С.Г. Алгебра логики в задачах. – М.: Наука, 1972.