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