Электронный каталог

Электронный ресурс

Верещагин, Н. К.
Основы теории вычислимых функций : курс. – Москва : Интернет-Университет информационных технологий, 2007. – 152 с. – Режим доступа : http://biblioclub.ru/index.php?page=book&id=234891. – http://biblioclub.ru/. – На рус. яз.

Курс написан по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В нем рассказывается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, перечислимость, универсальные функции, нумерации и их свойства, m-полнота, теорема о неподвижной точке, арифметическая иерархия, вычисления с оракулом, степени неразрешимости) и о конкретных вычислительных моделях (машины Тьюринга, рекурсивные функции).Изложение рассчитано на учеников математических школ, студентов математиков и всех интересующихся основами теории алгоритмов. Книга включает себя много задач различной трудности.


основной = ЭБС Университетская библиотека
профили = Преподавание математики и информатики:Бак:ИМИ
доп.книгообеспеченность = Доп.книгообеспеченность: электронные издания
профили = Информатика и Математика:Бак:ИМИ
профили = Математика и Компьютерные науки:Бак:ИМИ
профили = Математика и Экономика:Бак:ИМИ