Теория алгоритмов

Учебное пособие подготовлено в соответствии с требованиями федерального государственного образовательного стандарта среднего профессионального образования и предназначено для изучения дисциплины «Теория алгоритмов».
Представлены алгоритмы на языке блок-схем и алгоритмическом языке. Рассмотрена на неформальном уровне сложность алгоритмов и массовых проблем вплоть до характеристики классов сложности P, NP и класса NP-полных массовых проблем. На формально-логическом (абстрактном) уровне подробно изложены две формализации понятия алгоритма (машины Тьюринга и рекурсивные функции), доказана их эквивалентность. Рассмотрены основные теоремы общей (абстрактной) теории алгоритмов, теория разрешимых и перечислимых множеств, алгоритмически неразрешимые массовые проблемы, в частности, и в математической логике, и в математике.
Для студентов, обучающихся по профессиям и специальностям среднего профессионального образования. Выгрузить библиографическое описание Назад в раздел