Поиск :
Личный кабинет :
Электронный каталог: Катленд, Найджел - Вычислимость. Введение в теорию рекурсивных функций
Катленд, Найджел - Вычислимость. Введение в теорию рекурсивных функций
Экз. чит. зала
Книга
Автор: Катленд, Найджел
Вычислимость. Введение в теорию рекурсивных функций
Издательство: Мир, 1983 г.
ISBN отсутствует
Автор: Катленд, Найджел
Вычислимость. Введение в теорию рекурсивных функций
Издательство: Мир, 1983 г.
ISBN отсутствует
На полку
Книга
518 К295
Катленд, Найджел.
Вычислимость. Введение в теорию рекурсивных функций / Н. Катленд ; перевод с английского А. А. Мучника ; под редакцией С. Ю. Маслова. – Москва : Мир, 1983. – 256 с. : ил. – Библиогр.: с. 252-254. – На рус. яз. : 1.00.
ББК 22.12
ББК 32.973.2
основной = математика : математическая логика : теория алгоритмов и вычислимых функций : вычислимые функции
основной = математика : математическая логика : исчисление предикатов : теорема Гёделя
техника = техника : вычислительная техника : программирование : языки и методы программирования
техника = техника : вычислительная техника : аппаратные средства вычислительной техники : электронные вычислительные машины
00000000306218 МАТЧ 518 К295
518 К295
Катленд, Найджел.
Вычислимость. Введение в теорию рекурсивных функций / Н. Катленд ; перевод с английского А. А. Мучника ; под редакцией С. Ю. Маслова. – Москва : Мир, 1983. – 256 с. : ил. – Библиогр.: с. 252-254. – На рус. яз. : 1.00.
ББК 22.12
ББК 32.973.2
основной = математика : математическая логика : теория алгоритмов и вычислимых функций : вычислимые функции
основной = математика : математическая логика : исчисление предикатов : теорема Гёделя
техника = техника : вычислительная техника : программирование : языки и методы программирования
техника = техника : вычислительная техника : аппаратные средства вычислительной техники : электронные вычислительные машины
00000000306218 МАТЧ 518 К295