Еще
Логотип LiveLib

Это бета-версия LiveLib. Сейчас доступна часть функций, остальные из основной версии будут добавляться постепенно.

Николай Верещагин, Александр Шень - Математическая логика и теория алгоритмов. Вычислимые функции
18+
User AvatarВаша оценка
0
(0)

Математическая логика и теория алгоритмов. Вычислимые функции

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

Жанры

Рейтинг LiveLib

0
0 оценок
Эту книгу пока никто не оценил, ваша оценка может стать первой
User AvatarВаша оценка
Прочитали 1Хотят прочитать 3

Рецензии

На эту книгу еще нет ни одной рецензии. Ваша может стать первой.

Похожие книги
Популярное

Цитаты

Еще не добавлена ни одна цитата из книги. Ваша может стать первой.

Подборки с этой книгой

Все подборки