Теория алгоритмов
Информатика Бакалавриат
Характеристики
2017 год • 163 страниц • 1.5 MB
Издательство Вятский государственный университет
Тип издания Учебное пособие
Гриф Допущено кафедрой фундаментальной и компьютерной математики фа- культета компьютерных и физико-математических наук ВятГУ в качестве учебного пособия для студентов направлений 02.03.01 «Математика и компь- ютерные науки», 01.03.02 «Прикладная математика и информатика», 02.03.02 «Фундаментальная информатика и информационные технологии», 44.03.01, 44.03.05 «Педагогическое образование»
Описание
Учебное пособие написано на основе курса лекционных и практических занятий по дисциплине «Теория алгоритмов». В издании рассматриваются три алгоритмические модели – машины Тьюринга, нормальные алгоритмы Маркова, рекурсивные функции. В рамках этих моделей уточняются понятия вычислимой функции, разрешимого и перечислимого множества, обсуждается тезис Черча, приводятся примеры алгоритмически неразрешимых проблем. Теоретический материал снабжен примерами и упражнениями. В отдельном параграфе приведены варианты контрольных работ и тестовых заданий.
