Название библиотеки

Главная

Упрощенный режим

Описание

Базы данных

БД "Электронный каталог РНТБ"- результаты поиска

Вид поиска

Тестовая библиотечная БД

БД "Электронный каталог РНТБ"

БД "Регистрационная картотека периодических изданий РНТБ"

БД "Стандарты"

БД "Диссертации"

БД "Нормативно-техническая документация"

БД "Промышленные каталоги"

БД "Генеральный сводный каталог РНТБ и филиалов"

БД "Полнотекстовые ресурсы удаленного доступа"

БД "Нормативно-технические документы РНТБ и филиалов. Сводный каталог"

Область поиска

Найдено в других БД:

БД "Генеральный сводный каталог РНТБ и филиалов" (4)

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: <.>U=510.57<.>

Общее количество найденных документов : 3
Показаны документы с 1 по 3

   51/У 774

    Успенский, Владимир Андреевич.
    Лекции о вычислимых функциях [Текст] : курс лекций / В. А. Успенский. - М. : [б. и.], 1960. - 492 с. - (Математическая логика и основания математики). - Б. ц.

УДК

510.57

Экземпляры всего: 1
ХР (1)
Свободны: ХР (1)
Найти похожие

   св51/К215
   К 21

    Каратабанова, Сорейя Жубаниязовна.
    Нижние оценки алгоритмической сложности и структура семантических классов предложений.01.01.06-математическая логика,алгебра и теория чисел [Текст] : автореф.дис.на соиск.учен.степ.канд.физико-мат.наук / Сорейя Жубаниязовна Каратабанова. - Алматы, 1999. - 18 с. -

ГРНТИ	27.03.17
УДК	510.57

Рубрики: Вычислимые функции

Экземпляры всего: 1
ЦСПВ (1)
Свободны: ЦСПВ (1)
Найти похожие

   51/А 857

    Арсланов, М. М.
    Локальная теория степеней неразрешимости и множества [Текст] : монография / М.М. Арсланов. - Казань : Изд-во Казан.ун-та, 1987. - 138 с. : ил. - Библиогр.:с.131-137(87 назв.). - Б. ц.

ГРНТИ	27.03.17
УДК	510.57	510.22

Рубрики: Функции (мат.) рекурсивные

Экземпляры всего: 2
ХР (2)
Свободны: ХР (2)
Найти похожие

Тематический навигатор

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)