Коротков М.А., Степанов Е.О. Основы теории алгоритмов

Санкт-Петербург: Санкт-Петербургский Государственный институт Точной Механики и Оптики, 2003, 38 с.
Данное пособие посвящено основам теории алгоритмов. Рассматриваются тезис Черча, регистровые машины, некоторые алгоритмические массовые проблемы, разрешимость и перечислимость множества тавтологий, формальные теории, язык Пролог.
Пособие предназначено для студентов компьютерных и математических специальностей.