Литература

1.Агафонов В.Н. Сложность алгоритмов и вычислений: спецкурс для студентов НГУ, ч.2, Новосибирск, 1975.

2.Ахо А., Хопкрофт Дж., Ульман Дж. Построение и анализ вычислительных алгоритмов. М., 1979.

3.Глухов М.М. Математическая логика. М., в/ч 33965, 1982.

4.Гэри М., Джонсон Д. Вычислительные машины и труднорешаемые задачи. М., 1982.

5.Катленд Н. Вычислимость. Введение в теорию рекурсивных функций. М., 1983.

6.Кузнецов О.П., Адельсон-Вельский Г.М. Дискретная математика для инженера.

М., 1988.

7.Мальцев А.И. Алгоритмы и рекурсивные функции. М., 1965.

8.Марков А.А., Нагорный Н.М. Теория алгоритмов. М., 1984.

9.Мятисевич Ю.В. Диофантовы множества. УМН., т.27, вып. 5(167), с.185-222, 1972.

10.Носов В.А. Специальные главы дискретной математики. М., в/ч 33965, 1990.

11.Носов В.А. Основы комбинаторной теории для инженеров. М., в/ч 33965, 1990.

12.Носов В.А., Сачков В.Н., Тараканов В.Е. Комбинаторный анализ

(Неотрицательные матрицы, алгоритмические проблемы) Итоги науки и техники. ВИНИТИ. Сер. Теория вероятн., Мат.статист. Теорет. киберн., 1983, 21, 120-

178.

13.Пападимитриу Х., Стайглиц К. Комбинаторная оптимизация. М., 1985.

14.Роджерс Х. Теория рекурсивных функций и эффективная вычислимость. М., 1972.

15.Трахтенброт Б.А. Сложность алгоритмов и вычислений: спецкурс для студентов НГУ, Новосибирск, 1967.

16.Трахтенброт Б.А. Алгоритмы и вычислительные автоматы. М., 1974.

17.Успенский В.А., Семенов А.Л. Теория алгоритмов: основные открытия и приложения. М., 1987.

18.Шоломов Л.А. Основы теории дискретных логических и вычислительных устройств. М., 1980.

19.Мендельсон Э. Введение в математическую логику. М., 1971.

Задачники.

1.Глухов М.М., Шапошников В.А. Задачи и упражнения по математической логике. М., в/ч 33965, 1984.

2.Лавров И.А., Максимова Л.А. Задачи по теории множеств, математической логике и теории алгоритмов. М., 1975.

3.Гаврилов Г.П., Сапоженко А.А. Сборник задач по дискретной математике. М., 1977.

139