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