|
|
libcats.org
Лекции по математической логике и теории алгоритмов. Вычислимые функцииВерещагин Н.К., Шень А.Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, перечислимость, универсальные функции, нумерации и их свойства, m-полнота, теорема о неподвижной точке, арифметическаая иерархия, вычисления оракулом, степени неразрешимости) и о конкретнтых вычислительных моделях (машины Тьюринга, рекурсивные функции). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся основами теории алгоритмов. Книга включает в себя около 90 задач различной трудности.
Тексты, составляющие книгу, являются свободно распространяемыми и доступны по адресу ftp://ftp.mccme.ru/users/shen/logic/comput
Читать «Лекции по математической логике и теории алгоритмов. Вычислимые функции»
Купить электронную версию
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Introduction to Functional Programming (Prentice Hall International Series in Computing Science)Автор: Richard Bird, Автор: Philip WadlerКатегория: Математика, Прикладная математика
Размер книги: 4.73 Mb
The Clean Coder: A Code of Conduct for Professional Programmers (Robert C. Martin Series)Автор: Robert C. Martin
Размер книги: 6.06 Mb
Только что пользователи скачали эти книги:
Сборник задач по математической логике и алгебре множествАвтор: Гохман, Автор: Спивак, Автор: Розен, Автор: и др.
Размер книги: 818 Kb
The Honest Truth About Dishonesty: How We Lie to Everyone---Especially OurselvesАвтор: Dan Ariely
Размер книги: 926 Kb
Spiritual Warfare Strategy (Epub, Mobi & PDF)Автор: C. Peter WagnerКатегория: Christian
Размер книги: 2.58 Mb
|
|
|