Поиск :
Личный кабинет :
Электронный каталог: Цинман, Леонид Львович - Некоторые примеры и теоремы из теории рекурсивных функций
Цинман, Леонид Львович - Некоторые примеры и теоремы из теории рекурсивных функций
Книга (аналит. описание)
Автор: Цинман, Леонид Львович
Ученые записки. № 277: Математический анализ: Некоторые примеры и теоремы из теории рекурсивных функций
б.г.
ISBN отсутствует
Автор: Цинман, Леонид Львович
Ученые записки. № 277: Математический анализ: Некоторые примеры и теоремы из теории рекурсивных функций
б.г.
ISBN отсутствует
Книга (аналит. описание)
22.161.5
Цинман, Леонид Львович.
Некоторые примеры и теоремы из теории рекурсивных функций / Л. Л. Цинман // Ученые записки. № 277: Математический анализ / Моск. гос. пед. ин-т им. В. И. Ленина ; Редкол.: П. С. Новиков и др. - Москва : МГПИ им. В. И. Ленина, 1971 . - С. 218-222 . - Библиогр.: с. 222 . - На рус. яз.
ББК 22.161.5
1971
основной = математика
основной = математика : математическая логика
основной = математика : математический анализ : теория функций
основной = математика : математическая логика : теория алгоритмов и вычислимых функций : вычислимые функции
22.161.5
Цинман, Леонид Львович.
Некоторые примеры и теоремы из теории рекурсивных функций / Л. Л. Цинман // Ученые записки. № 277: Математический анализ / Моск. гос. пед. ин-т им. В. И. Ленина ; Редкол.: П. С. Новиков и др. - Москва : МГПИ им. В. И. Ленина, 1971 . - С. 218-222 . - Библиогр.: с. 222 . - На рус. яз.
ББК 22.161.5
1971
основной = математика
основной = математика : математическая логика
основной = математика : математический анализ : теория функций
основной = математика : математическая логика : теория алгоритмов и вычислимых функций : вычислимые функции