Вид документа : Однотомное издание Шифр издания : 94547 Автор(ы) : Мирзоев М. С., Матросов В. Л. Заглавие : Теория алгоритмов : Учебное пособие Выходные данные : Москва: Прометей, 2019 Колич.характеристики :200 с Примечания : Книга находится в Премиум-версии ЭБС IPRbooks. ISBN, Цена 978-5-907100-65-7: Б.ц. УДК : 658.14 ББК : 65.290 Ключевые слова (''Своб.индексиров.''): математическая машина--машина тьюринга--навешивание квантора--проблема самоприменимости--рекурсивная функция--рекурсивный предикат--теорема клини--теорема райса--теория алгоритмов Аннотация: В учебном пособии изложены различные подходы к формализации понятия алгоритма. В нем рассматриваются: интуитивное понятие вычислимой арифметической функции, теория рекурсивных функций, рекурсивные предикаты, происходит уточнение понятия алгоритма через математическую машину Тьюринга и другие машины, рекурсивные и рекурсивно перечислимые множества, алгоритмические проблемы, некоторые оценки сложности алгоритмов. Помимо теоретических и практических материалов, учебное пособие содержит задания для самостоятельной работы. Содержание учебного пособия соответствует Федеральному государственному образовательному стандарту высшего образования третьего поколения и методическим требованиям, предъявляемым к учебным изданиям. Учебное пособие предназначено для студентов высших учебных заведений, обучающихся по направлению «Педагогическое образование» профилей «Физика и информатика», «Технология и информатика», «Математика и информатика», «Информатика и математика», «Прикладная информатика». Может быть полезно широкому кругу читателей, интересующихся основами теории вычислимости. Доп.точки доступа: Матросов, В. Л. |