1. Алферова З.В. Теория алгоритмов. – М.: Статистика, 1973. – 164с.
2. Мальцев А.И. Алгоритмы и рекурсивные функции. – М.: Наука, 1960. – 392с.
3. Марков А.А., Нагорный Н.М. Теория алгорифмов. – М.: ФАЗИСТ, 1996. – 448с.
4. Міхайленко В.М., Федоренко Н.Д., Демченко В.В. Дискретна математика: Підручник. – Київ: Вид-во Європ. ун-ту, 2003. – 318с.
5. Бондаренко М.Ф., Белоус Н.В., Руткас А.Г. Компьютерная дискретная математика. – Харьков: Компания СМИТ, 2004. – 476с.
6. Трахтенброт Б. А. Алгоритмы и вычислительные автоматы. – М.: Советское радио, 1974. – 201с.
7. Андерсон Дж. Дискретная математика и комбинаторика. – М.: Мир, 2001. – 960с.
8. Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов. – М.: Наука, 1975. – 240с.
9. Капитонова Ю.В., Кривой С.М., Летичевский А.А., Луцкий Г.М. Лекции по дискретной математике. – СПб.: БХВ-Петербург, 2004. – 624с.
10. Штерн Ю.М., Серик А.Е. Методические указания по курсу «Теория алгоритмов». – Д.: ДПИ, 1984. – 48с.
Содержание
1. Лабораторная работа №1. Рекурсивные функции 4
2. Лабораторная работа №2. Машины Тьюринга 12
3. Лабораторная работа №3. Композиции машин Тьюринга 20
4. Лабораторная работа №4. Нормальные алгоритмы Маркова 26
Перечень рекомендованной литературы
Методические указания и задания к лабораторным работам по курсам “Дискретные структуры“, “Теория алгоритмов и вычислительных процессов“ для студентов специальностей
7.050102 “Программное обеспечение автоматизированных систем”,
7.080407 “Компьютерный эколого-экономический мониторинг ”
Разработчики: Назарова И.А.,
Коломойцева И.А.