Матэнциклопедия Источник МатэнциклопедииПубликацияДокумент

Теория рекурсивных функций и эффективная вычислимость

http://libmeta.ru/resource/mathenc/publication/p1690

Данные

bibliographicCitation

Роджерс X., Теория рекурсивных функций и эффективная вычислимость, пер. с англ., М., 1972

автор

Роджерс X.

Входящие связи

← ссылается на · 13

Алгоритмов теория Вычислимая функция Иерархия Креативное множество Неразрешимости степень Нумерованная модель Перечисления оператор Примитивная рекурсия Примитивно рекурсивная функция Простое множество Прямой пересчет Универсальный алгоритм ещё 1

← цитирует · 13

Алгоритмов теория Вычислимая функция Иерархия Креативное множество Неразрешимости степень Нумерованная модель Перечисления оператор Примитивная рекурсия Примитивно рекурсивная функция Простое множество Прямой пересчет Универсальный алгоритм ещё 1