Ершов С.С. Элементы теории алгоритмов

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