Encyclopedia of Math Encyclopedia sourcePublicationDocument

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

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

Данные

bibliographicCitation

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

author

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

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

← references · 8

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

← cites · 8

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