Подробно изложены три формализации понятия алгоритма — ма­шины Тьюринга, рекурсивные функции и нормальные алгоритмы Маркова, доказана их эквивалентность. Рассмотрены основные тео­ремы общей теории алгоритмов, теория разрешимых и перечислимых множеств, алгоритмически неразрешимые массовые проблемы, тео­рия сложности вычислений и массовых проблем, алгоритмические проблемы математической логики и других разделов математики. Охарактеризованы взаимосвязи теории алгоритмов с компьютерами и информатикой. Для студентов университетов, технических и педагогических вузов, обучающихся по специальностям «Математика», «Прикладная мате­ матика», «Математик-педагог», «Учитель математики» на уровнях ба­калавриата, магистратуры, а также специалитета.Год издания: 2016Формат: pdfЯзык: ruРазмер: 11765 KbСкачиваний: 751

Год издания: 2008Формат: djvuЯзык: ruРазмер: 6809 KbСкачиваний: 2156