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

Базы данных


Электронный каталог - результаты поиска

Виды поиска

Область поиска
В текущей базе данных найдено документов :2
 В других БД по вашему запросу найдено:Сводный каталог библиотек (СГУ, СГТУ, ЦБС) (2)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>U=510.57<.>)
Общее количество найденных документов : 2
Показаны документы с 1 по 2
1.
A903036-ОХФ
    Соар, Роберт И..
    Вычислимо перечислимые множества и степени: Изучение вычислимых функций и вычислимо перечислимых множеств [Текст] = Recursively Enumerable Sets and Degrees / Р. И. Соар ; . - Казань : Изд-во Казан. мат. о-ва, 2000. - 576 с. - Библиогр. - ISBN 5-900975-22-3. - ISBN 3-540-15299-7. - ISBN 0-387-15299-7 : 55.00 р.
УДК

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
вычислимые функции -- вычислимо перечислимые множества -- степени -- решетки -- рекурсия
Экземпляры всего: 1
ОХФ (1)
Найти похожие

2.
A883692-ОХФ, A961093-ОХФ
    Марченков, Сергей Серафимович.
    Элементарные рекурсивные функции [Текст] / С. С. Марченков. - Москва : МЦНМО, 2003. - 111, [1] с. - Библиогр. - ISBN 5-94057-098-4 : 50.00 р.
УДК

Рубрики: математика--математическая логика

Кл.слова (ненормированные):
рекурсивные функции -- элементарные функции -- стековые регистровые машины -- предикаты ограниченно арифметические -- Гжегорчика классы
Экземпляры всего: 2
ОХФ (2)
Найти похожие

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

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