Вычислимость. Введение в теорию рекурсивных функций/Катленд, Найджел.

 

QR-код документа

Оценок: 0

510 К 295
Катленд, Найджел.
    Вычислимость. Введение в теорию рекурсивных функций / Н. Катленд ; пер. с англ. А. А. Мучника. - Москва : Мир, 1983. - 256 c. : ил., табл. - Библиогр. : с. 252-254.
Парал. тит. л. на англ. яз.

УДК
510.57

Кл.слова (ненормированные):
математика -- вычислимые функции -- теория вычислимых функций -- Майхилла теорема -- арифметика -- Геделя теорема -- Черча теорема -- теория рекурсивных функций -- вычисления (математика) -- программирование
Доп.точки доступа:
Мучник, А. А. \пер.\

Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)

Авторизуйтесь для получения дополнительных услуг