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