Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


Библиотечная БД - результаты поиска

Вид поиска
Библиотечная БД
Имидж-каталог
Учебно-методические пособия
Выпускные квалификационные работы
Учебно-методоческие издания
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>U=510.6<.>)
Общее количество найденных документов : 3
Показаны документы с 1 по 3
1. 510.6
Б 90

    Булос, Дж.
    Вычислимость и логика [Text] / Булос, Дж., Джеффри, Р. ; ред. Артемов С.Н. - М. : Мир, 1994. - 396 с. : ил. - Указ. имен. и предм.:с.388-394. - ISBN 5-03-003067-0 : 6500-00 р.
УДК
510.6
Рубрики: МАТЕМАТИКА--ОСНОВАНИЯ МАТЕМАТИКИ И МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
Математическая логика


Доп.точки доступа:
Джеффри, Р.; Артемов С.Н. \ред.\
Экземпляры всего: 1
ОХиИФ (1)
Свободны: ОХиИФ (1)
Найти похожие
2. 519.5
С 54

    Соар, Р.И.
    Вычислимо перечислимые множества и степени [Text] : изучение вычислимых функций и вычислимо перечислимых множеств / Соар, Р.И. ; пер., ред. Арсланов, М.М. - Казань : Казан. математ. о-во, 2000. - 576 с. : ил. - Библиогр.: с. 510-548.-Список обозначений: с. 549-561.-Предм. указ.: с. 562-576. - ISBN 5-900975-22-3. - ISBN 3-540-15299-7. - ISBN 0-387-15299-7 (В пер.) : 140-00 р.
Перевод заглавия: Recursively Enumerable Sets and Degress
УДК
519.5
510.6
Рубрики: МАТЕМАТИКА--АЛГОРИТМЫ И ВЫЧИСЛИМЫЕ ФУНКЦИИ--МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
вычислимость,теория -- множества -- степени -- функции вычислимые -- автоморфизмы -- изоморфизмы


Доп.точки доступа:
Арсланов, М.М. \пер., ред.\
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
Найти похожие
3. 510.6
В 31

   Верещагин, Н. К.
    [Лекции по математической логике и теории алгоритмов] [Text] / Н. К. Верещагин, А. Шень. - М. : МЦНМО, 1999 - .
   Ч. 3 : Вычислимые функции. - 173 с. : ил. - (Современные лекционные курсы). - Библиогр.: с. 166-167. - Предм. указ.: с. 168-173. - Указ. имен: с. 174. - ISBN 5-900916-39-1 : 35-00 р.
УДК
510.6
510
Рубрики: МАТЕМАТИКА--МАТЕМАТИЧЕСКАЯ ЛОГИКА
Кл.слова (ненормированные):
математическая логика -- теория алгоритмов -- вычислимые функции -- вычислимость -- разрешимость -- нумерации -- Тьюринга машины -- функции рекурсивные


Доп.точки доступа:
Шень, А.
Экземпляры всего: 1
КХ (1)
Свободны: КХ (1)
Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)