Поиск :
Личный кабинет :
Электронный читательский билет
Электронный читательский билет
Предъявите этот штрих-код вместо читательского билета
xxx
Электронный каталог: Теория рекурсии
Теория рекурсии
Книга
Автор:
Справочная книга по математической логике. Ч. 3: Теория рекурсии
Издательство: Наука, 1982 г.
ISBN отсутствует
Автор:
Справочная книга по математической логике. Ч. 3: Теория рекурсии
Издательство: Наука, 1982 г.
ISBN отсутствует
Многотомник
22.12
Справочная книга по математической логике : в 4 ч. : пер. с англ. / под. ред. Дж. Барвайса . – Москва : Наука, 1982 - 1983 .
Книга
22.12 С74
Ч. 3 : Теория рекурсии : пер. с англ. / пер. С. Г. Дворникова ; И. А. Лаврова ; ред Ю. Л. Ершова . – Москва : Наука, 1982 . – 360 с. : 2.00 .
Теория рекурсии - наука, которая изучает класс рекурсивных или эффективно-вычислительных функций и их применения в математике. /кх-1 ф8-1 ф9-1 ф14-1/
ББК 22.12
Общий = Математическая логика
Общий = Конвертация
ключевой = Теория рекурсии
ключевой = Неразрешенные проблемы
ключевой = Разрешимые теории
ключевой = Степени неразрешимости
ключевой = Теория a-рекурсии
ключевой = Рекурсия в высших типах
ключевой = Теория индуктивных определений
ключевой = Теория полей
ключевой = Алгоритмические проблемы
22.12
Справочная книга по математической логике : в 4 ч. : пер. с англ. / под. ред. Дж. Барвайса . – Москва : Наука, 1982 - 1983 .
Книга
22.12 С74
Ч. 3 : Теория рекурсии : пер. с англ. / пер. С. Г. Дворникова ; И. А. Лаврова ; ред Ю. Л. Ершова . – Москва : Наука, 1982 . – 360 с. : 2.00 .
Теория рекурсии - наука, которая изучает класс рекурсивных или эффективно-вычислительных функций и их применения в математике. /кх-1 ф8-1 ф9-1 ф14-1/
ББК 22.12
Общий = Математическая логика
Общий = Конвертация
ключевой = Теория рекурсии
ключевой = Неразрешенные проблемы
ключевой = Разрешимые теории
ключевой = Степени неразрешимости
ключевой = Теория a-рекурсии
ключевой = Рекурсия в высших типах
ключевой = Теория индуктивных определений
ключевой = Теория полей
ключевой = Алгоритмические проблемы