Тип: PDF книга
Жанр: Физика и математика
Язык: на русском языке
Стоимость: 959.00 ₽
Издательство: ИНФРА-М
Дата публикации: 12.03.2025
Отзывы: Пока нет Добавить отзыв
О книге: Подробно изложены три формализации понятия алгоритма – машины Тьюринга, рекурсивные функции и нормальные алгоритмы Маркова, доказана их эквивалентность. Рассмотрены основные теоремы общей теории алгоритмов, теория разрешимых и перечислимых множеств, алгоритмически неразрешимые массовые проблемы, теория сложности вычислений и массовых проблем, алгоритмические проблемы математической логики и других разделов математики. Охарактеризованы взаимосвязи теории алгоритмов с компьютерами и информатикой.