Новые поступления (книга в стадии обработки) Справочная книга по математической логике [Текст] : в 4 ч. - М. : Наука, 1982 - . Ч. 3 : теория рекурсии / под ред. Дж. Барвайса; пер. с англ. С. Г. Дворникова, И. А. Лаврова. - 1982. - 360 с. : ил. ; 21 см. - 2.00 р.
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА Кл.слова (ненормированные): РЕКУРСИЯ -- РЕКУРСИВНЫЕ ФУНКЦИИ -- РЕКУРСИВНЫЕ ОПРЕДЕЛЕНИЯ -- АЛГОРИТМЫ -- ТЕОРИЯ ПОЛЕЙ -- ИНДУКЦИИ -- РЕКУРСИВНЫЕ МЕТОДЫ -- МАТЕМАТИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА Аннотация: В справочнике изложена теория рекурсии, алгоритмические проблемы в теории полей, а также рекурсия в высших типах. Держатели документа: Саратовский государственный технический университет им. Гагарина Ю. А. Доп. точки доступа: Барвайс, Дж. Дворников, С. Г. Лавров, И. А. |