Ильиных А.П. Теория алгоритмов

Учебное пособие. — Екатеринбург: Урал. гос. пед. ун-т, 2006. — 149 с.Пособие является курсом лекций по теории алгоритмов и предназначено для студентов дневного и заочного отделений математических факультетов педагогических вузов.Алгоритмы в математике. Основные черты алгоритмов
Числовые функции и алгоритмы их вычисления
Примитивно рекурсивные функции
Частично рекурсивные функции. Тезис Черча
Машины Тьюринга
Машины с неограниченными регистрами
Вычислимость частично рекурсивных функций на МНР
Нумерации
Универсальные функции
Нормальные алгорифмы
Неразрешимые алгоритмические проблемы
Алгоритмические проблемы в логике и математике
Разрешимые и множества и предикаты
Перечислимые и диофантовы множества