Новые поступления (книга в стадии обработки) Роджерс, Х. Теория рекурсивных функций и эффективная вычислимость [Текст] / Х. Роджерс ; пер. с англ.: В. А. Душского, М. И. Кановича, Е. Ю. Ногиной ; под ред. В. А. Успенского = Theory of recursive functions and effective computability / H. Rogers : научное издание. - М. : Изд-во "Мир", 1972. - 624 с. : ил. ; 22 см. - Библиогр.: с. 587-599. - 3.46 р. Тит. л. парал. с англ. яз.
Рубрики: Математика--Теория функций Кл.слова (ненормированные): МАТЕМАТИЧЕСКИЕ НАУКИ -- РЕКУРСИВНЫЕ ФУНКЦИИ -- МНОЖЕСТВА -- АРИФМЕТИЧЕСКАЯ ИЕРАРХИЯ -- АЛГОРИТМЫ -- ТЕОРЕМЫ Аннотация: Книга содержит изложение современного состояния теории рекурсивных функций и обзор основных приложений этой теории. В ней прослежено развитие теории рекурсивных функций, начиная с ее зарождения в тридцатых годах и кончая результатами исследований самых последних лет. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Душский, В. А. Канович, М. И. Ногина, Е. Ю. Успенский, В. А. |