| начало | написать нам | в избранное | сделать стартовой |
ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных


Сводный каталог библиотек (СГУ, СГТУ, ЦБС) - результаты поиска

Виды поиска

Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: (<.>U=517.11(083)<.>)
Общее количество найденных документов : 1
1.

    Справочная книга по математической логике [Текст] : в 4 ч. - М. : Наука, 1982 - .
   Ч. 3 : теория рекурсии / под ред. Дж. Барвайса; пер. с англ. С. Г. Дворникова, И. А. Лаврова. - 1982. - 360 с. : ил. ; 21 см. - 2.00 р.
ГРНТИ
УДК

Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА

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


Доп. точки доступа:
Барвайс, Дж.
Дворников, С. Г.
Лавров, И. А.
Найти похожие

 
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)