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

Базы данных


Электронный каталог библиотеки ФГБУ "Гидрометцентр России" - результаты поиска

Вид поиска
Электронный каталог библиотеки ФГБУ "Гидрометцентр России"
Новые поступления библиотеки ФГБУ "Гидрометцентр России"
Публикации сотрудников ФГБУ "Гидрометцентр России" (полнотекстовая)
Учебная литература для аспирантов ФГБУ "Гидрометцентр России"
Диссертации сотрудников ФГБУ "Гидрометцентр России"
Область поиска
 Найдено в других БД:Учебная литература для аспирантов ФГБУ "Гидрометцентр России" (1)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>U=517.11<.>)
Общее количество найденных документов : 5
Показаны документы с 1 по 5
1.
517.11
К60

    Колмогоров, А. Н.
    Математическая логика : Учебное пособие [Текст] / А. Н. Колмогоров, А. Н. Драгалин. - 3-е изд., стер. - М. : URSS, 2006. - 238 с. - (Классический университетский учебник). - Библиогр.: с.228 . -
УДК
517.11


Держатели документа:
ГМЦ
Доп.точки доступа:
Драгалин, А.Н.
Экземпляры всего: 1
ХР (1)
Свободны: ХР (1)
Найти похожие
2.
51(07)
И26

    Игошин, В. И.
    Задачи и упражнения по математической логике и теории алгоритмов. [Текст] : учебное пособие для вузов / В. И. Игошин. - 3-е изд., стер. - М. : Академия, 2007. - 302 с. - (Высшее профессиональное образование). - Библиогр.: с. 301. -
УДК
51(07)
517.11


Держатели документа:
ГМЦ
Экземпляры всего: 1
ХР (1)
Свободны: ХР (1)
Найти похожие
3.
51(07)
И 26

    Игошин, В. И.
    Математическая логика и теория алгоритмов [Текст] : учебное пособие для вузов / В. И. Игошин. - 4-е изд., стер. - М. : Академия, 2010. - 447 с. - (Высшее профессиональное образование. Педагогические специальности). - Библиогр.: с. 435-442. - ISBN 978-5-7695-7045-2
ГРНТИ
27.03.19
УДК
51(07)
517.11


Держатели документа:
НТБ ГУ "Гидрометцентр России"
Экземпляры всего: 1
ХР (1)
Свободны: ХР (1)
Найти похожие
4.
51(07)
С 89

    Судоплатов, С. В.
    Математическая логика и теория алгоритмов [Текст] : учебник / С. В. Судоплатов, Е. В. Овчинникова. - 2-е изд., перераб. - Новосибирск : НГТУ, 2010. - 255 с : ил. - (Учебники НГТУ). - Библиогр.: с.224-226 . - Указ. терминов, обозначений: с.241-255. - ISBN 978-5-7782-1348-7
ГРНТИ
27.03.19
УДК
51(07)
517.11


Держатели документа:
НТБ ГУ "Гидрометцентр России"
Доп.точки доступа:
Овчинникова, Е.В.
Экземпляры всего: 1
ХР (1)
Свободны: ХР (1)
Найти похожие
5.
51
Н 73

    Новиков, П. С.
    Конструктивная математическая логика с точки зрения классической [Текст] / П. С. Новиков. - М. : Наука, 1977. - 328 с : ил. - (Математическая логика и основания математики). - Предм. указ. в конце . -
ГРНТИ
27.03
УДК
51
517.11


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