К 29 Катленд, Найджел. Вычислимость. Введение в теорию рекурсивных функций [Текст] / Н. Катленд ; перевод с английского А. А. Мучника ; под редакцией С. Ю. Маслова. - Москва : Мир, 1983. - 256 с. : ил. ; 21 см. - Пер. изд. : Computability. An introduction to recursive function theory / N. Cutland. - Cambridge, 1980. - 10000 экз.. - 1.00 р. Рубрики: Вычислительная математика Кл.слова (ненормированные): ВЫЧИСЛИМЫЕ -- тезис Чёрча -- символы Поста и Маркова -- алгоритм Штурма -- теорема Гёделя -- теорема Майхилла -- СВОДИМОСТЬ -- ФОРМАЛЬНАЯ АРИФМЕТИКА Доп.точки доступа: Мучник, А. А. \пер.\; Маслов, С. Ю. \ред.\; Cutland, N. ~Экземпляры всего: 1 КХР (1) Свободны: КХР (1) |