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

Многотомник

Верещагин, Н. К.
Лекции по математической логике и теории алгоритмов / Верещагин, Н. К, Шень, А . - М. : МЦНМО, 2017 . - (Современные лекционные курсы) .
Книга
22.12 В 31

Верещагин, Н. К.
Ч. 3 : Вычислимые функции : [учебное пособие] / Верещагин, Н. К, Шень, А . - испр . - М. : МЦНМО, 2012 ($m) . - 158 с. - (Современные лекционные курсы) . - Литература: с. 150-151 ; предм. указ.: с. 152-156 ; указ. имен: с. 157-168 . - ISBN 978-5-4439-0014-8 .

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

ББК 22.12я73
ББК 22.12
ББК В 31

ПРЕДМЕТНЫЕ РУБРИКИ = МАТЕМАТИКА : МАТЕМАТИЧЕСКАЯ ЛОГИКА; ТЕОРИЯ АЛГОРИТМОВ; ТЕОРИЯ ВЫЧИСЛИМЫХ ФУНКЦИЙ
КЛЮЧЕВЫЕ СЛОВА = МАТЕМАТИЧЕСКАЯ ЛОГИКА
КЛЮЧЕВЫЕ СЛОВА = ТЕОРИЯ АЛГОРИТМОВ
КЛЮЧЕВЫЕ СЛОВА = ВЫЧИСЛИМЫЕ ФУНКЦИИ
КЛЮЧЕВЫЕ СЛОВА = МНОЖЕСТВА
КЛЮЧЕВЫЕ СЛОВА = ТЕОРЕМА О НЕПОДВИЖНОЙ ТОЧКЕ
КЛЮЧЕВЫЕ СЛОВА = ЭКВИВАЛЕНТНОСТЬ
КЛЮЧЕВЫЕ СЛОВА = МАШИНЫ ТЬЮРИНГА
КЛЮЧЕВЫЕ СЛОВА = РЕКУРСИВНОСТЬ
КЛЮЧЕВЫЕ СЛОВА = ВЫЧИСЛИМОСТЬ
КЛЮЧЕВЫЕ СЛОВА = РАЗРЕШИМОСТЬ
КЛЮЧЕВЫЕ СЛОВА = ПЕРЕЧИСЛИМОСТЬ
КЛЮЧЕВЫЕ СЛОВА = ПЕРЕЧИСЛИМЫЕ МНОЖЕСТВА
КЛЮЧЕВЫЕ СЛОВА = РАЗРЕШИМЫЕ МНОЖЕСТВА
КЛЮЧЕВЫЕ СЛОВА = НЕРАЗРЕШИМОСТЬ
КЛЮЧЕВЫЕ СЛОВА = ПЕРЕЧИСЛИМЫЕ НЕРАЗРЕШИМЫЕ МНОЖЕСТВА
КЛЮЧЕВЫЕ СЛОВА = ПЕРЕЧИСЛИМЫЕ НЕОТДЕЛИМЫЕ МНОЖЕСТВА
КЛЮЧЕВЫЕ СЛОВА = КОНСТРУКЦИЯ ПОСТА
КЛЮЧЕВЫЕ СЛОВА = НУМЕРАЦИИ
КЛЮЧЕВЫЕ СЛОВА = M-СВОДИМОСТЬ
КЛЮЧЕВЫЕ СЛОВА = M-ПОЛНЫЕ МНОЖЕСТВА
КЛЮЧЕВЫЕ СЛОВА = ВЫЧИСЛЕНИЯ С ОРАКУЛОМ
КЛЮЧЕВЫЕ СЛОВА = РЕЛЯТИВИЗАЦИЯ
КЛЮЧЕВЫЕ СЛОВА = ТЕОРЕМА МУЧНИКА-ФРИДБЕРГА
КЛЮЧЕВЫЕ СЛОВА = ТЕОРЕМА ТАРСКОГО
КЛЮЧЕВЫЕ СЛОВА = ТЕОРЕМА ГЁДЕЛЯ
КЛЮЧЕВЫЕ СЛОВА = РЕКУРСИВНЫЕ ФУНКЦИИ
КЛЮЧЕВЫЕ СЛОВА = ФУНКЦИЯ АККЕРМАНА
КЛЮЧЕВЫЕ СЛОВА = РЕШЕТКА МЕДВЕДЕВА
ДИСЦИПЛИНЫ = Логика и алгоритмы
ПРЕДМЕТНЫЕ РУБРИКИ = N$1
ПРЕДМЕТНЫЕ РУБРИКИ = N$2