1.
| 519.7 К29
Катленд, Н. Вычислимость. Введение в теорию рекурсивных функций [Текст] : пер. с англ. / Н. Катленд. - М. : Мир, 1983. - 256 с. : ил. - Библиогр.: с. 252. - 1.00 р. Кл.слова (ненормированные): ВЫЧИСЛИМЫЕ -- тезис Чёрча -- символы Поста и Маркова -- НУМЕРАЦИЯ -- УНИВЕРСАЛЬНЫЕ -- ПРОГРАММЫ -- РАЗРЕШИМОСТЬ -- НЕРАЗРЕШИМОСТЬ -- МНОЖЕСТВА -- алгоритм Штурма -- теорема Гёделя -- теорема Майхилла -- СВОДИМОСТЬ -- ФОРМАЛЬНАЯ АРИФМЕТИКА
Держатели документа: ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163
Свободных экз. нет Найти похожие
|