Учебное пособие. - Челябинск: издательский центр ЮУрГУ, 2009. - 64 с.
(кафедра ЭВМ)В пособии рассматриваются общие особенности теории алгоритмов, а также конкретные алгоритмические системы, такие как «Рекурсивные функции», «Машины Поста и Тьюринга», «Нормальные алгоритмы Маркова» и т. п. В соответствии с предметом дисциплины «Математическая логика и теория алгоритмов».
Для студентов специальности 230101 («Вычислительные машины, комплексы, системы и сети») и направления 010400 («Информационные технологии»), а также для студентов родственных специальностей и направлений.Краткое содержание:
Введение
Основные понятия теории алгоритмов
Рекурсивные функции
Машина Поста
Машина Тьюринга
Нормальные алгоритмы А. А. Маркова
Операторные алгоритмические системы
Методы оценки алгоритмов
Формальные преобразования алгоритмов
Алгоритмически неразрешимые проблемы
Библиографический список