Основна література до курсу:

1. Алферов З.В. Теория алгоритмов. М. Статистика, 1973-164с.

2. Мальцев А.И. Алгоритмы и рекурсивные функции. М.:Н.1986-367с.

3. Марков А.А., Нагорный Н.М. Теория алгоритмов. М.: Н.1984-423с.

4. Поляков Е.А., Рабинос М.Г. Теория алгоритмов. Учебное пособие по с/к для студентов математиков.1976-88с.

5. Арсланов М.М. Рекурсивно перечислимые множества и степени неразрешимости. Казань, 1986-44с.

6. Варпоховский Ф.Ф. Элементы теории алгоритмов. М.: Просвещение,1970-44с.

7. Кожевникова Г.П. Теория алгоритмов. Львов: Вища школа.1978-98с.

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

9. Лавров И.И. Логика и алгоритмы. Новосибирск. 1970-173с.

10. В.В. Зубенко, С.С. Шкільняк. Теорія алгоритмів у прикладах і задачах. К.:1993-99с.

11. Ю.В. Нікольській, В.В. Пасічник., Ю.М. Щербина Дискретна математика. Львів.:2005-607с.

Додаткова

1. Гильберт Д. Бернайс П. Основания математики. – М.: Наука, 1992.

2. Клини С.К. Математическая логика. – М.: Мир, 1973.