Учебное пособие. Москва, МИФИ, 2008. 176 стр. - ISBN
978-5-7262-1078-0
Книга посвящена теории алгоритмов и содержит основные сведения о свойствах алгоритмов и способах их формального представления (машины Тьюринга, алгоритмы Маркова, рекурсивные функции). Изложены основы теории бесконечных множеств, рассмотрены вопросы нахождения эффективных процедур для перечисления объектов различной природы. Затронуты проблемы алгоритмической неразрешимости и базовые понятия сложности алгоритмов.
Книга представляет интерес для студентов технических вузов, аспирантов, научных работников и всех, интересующихся теорией алгоритмов и связанными с ней аспектами истории развития математики. Оглавление.
Предисловие.
Формальные описания алгоритмов.
Числовые множества.
Арифметические вычисления.
Рекурсивные функции.
Сложность алгоритмов.
Краткий справочник имен.
Список литературы.
Книга посвящена теории алгоритмов и содержит основные сведения о свойствах алгоритмов и способах их формального представления (машины Тьюринга, алгоритмы Маркова, рекурсивные функции). Изложены основы теории бесконечных множеств, рассмотрены вопросы нахождения эффективных процедур для перечисления объектов различной природы. Затронуты проблемы алгоритмической неразрешимости и базовые понятия сложности алгоритмов.
Книга представляет интерес для студентов технических вузов, аспирантов, научных работников и всех, интересующихся теорией алгоритмов и связанными с ней аспектами истории развития математики. Оглавление.
Предисловие.
Формальные описания алгоритмов.
Числовые множества.
Арифметические вычисления.
Рекурсивные функции.
Сложность алгоритмов.
Краткий справочник имен.
Список литературы.