Основы теории алгоритмов
Информатика Бакалавриат Магистратура
Характеристики
2013 год • 27 страниц • 329.7 KB
Издательство Санкт-Петербургский государственный университет телекоммуникаций им. проф. М.А. Бонч-Бруевича
Тип издания методические указания
Описание
Приведены три наиболее распространенных строгих математических определения алгоритма: частично-рекурсивная функция, машина Тьюринга, нормальные алгоритмы; примеры использования этих понятий для разрешения задачи алгоритмической неразрешимости, а также задания на тему «Алгоритмы» и необходимая литература. Предназначены для студентов, обучающихся по дисциплине «Математическая логика и теория алгоритмов» по профилю 230105.68 «Программное обеспечение вычислительной техники и автоматизированных систем».