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

Лекции о вычислимых функциях

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

Данные

bibliographicCitation

Успенский В. А., Лекции о вычислимых функциях, М., 1960

автор

Успенский В. А.

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

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

Алгоритмов сочетания Конструктивный анализ Перечислимое множество Примитивная рекурсия Примитивно рекурсивная функция Простое множество Прямой пересчет Трансляция программ

← цитирует · 8

Алгоритмов сочетания Конструктивный анализ Перечислимое множество Примитивная рекурсия Примитивно рекурсивная функция Простое множество Прямой пересчет Трансляция программ