Encyclopedia of Math Encyclopedia sourcePublicationDocument

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

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

Данные

bibliographicCitation

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

author

Роджерс X.

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

← references · 13

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

← cites · 13

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