Электронный каталог библиотеки ФГБОУ ВО "ГУМРФ имени адмирала С.О. Макарова"

На сайт университета

Базы данных

Основная база библиотеки ФГБОУ ВО "ГУМРФ имени адмирала С.О. Макарова" - результаты поиска

Вид поиска

Основная база библиотеки ФГБОУ ВО "ГУМРФ имени адмирала С.О. Макарова"

Сборники научных трудов; Материалы конференций.

Периодические издания (газеты, журналы)

Фонд редкой книги; Морское наследие

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

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

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

Поисковый запрос: (<.>K=ТЕОРИЯ АЛГОРИТМОВ<.>)

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

Вид документа :
Шифр издания : 51/У 774
Автор(ы) : Успенский, Владимир Андреевич, Плиско, Валерий Егорович, Верещагин, Николай Константинович
Заглавие : Вводный курс математической логики : учебное пособие . -[2-е изд.]
Выходные данные : М.: Физматлит, 2004
Колич.характеристики :128 с
Примечания : Библиогр.: с.122 . - Предм. указ.: с. 123
ISBN, Цена 5-9221-0278-8: 129.03, 118.47, р.
ГРНТИ : 27.03
УДК : 510.6
Предметные рубрики: математическая логика
Ключевые слова (''Своб.индексиров.''): теория множеств--теория докозательств--теория алгоритмов--теорема гёделя
Экземпляры : всего : ОНЛ (Двинская 5/7, ЦБ)(2)
Свободны : ОНЛ (Двинская 5/7, ЦБ)(2)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : 51/Л 136
Автор(ы) : Лавров, Игорь Андреевич, Максимова, Лариса Львовна
Заглавие : Задачи по теории множеств, математической логике и теории алгоритмов : монография . -5-е изд., испр.
Выходные данные : М.: Физматлит, 2003
Колич.характеристики :256 с.
Примечания : Библиогр.: с. 248 - 249; Предм. указ.: с. 250 - 255
ISBN, Цена 5-9221-0026-2: 102.26 р.
ГРНТИ : 27
УДК : 510.6
Предметные рубрики: МАТЕМАТИКА
математическая логика
Дескрипторы: МАТЕМАТИКА
Ключевые слова (''Своб.индексиров.''): теория множеств--математическая логика--теория алгоритмов--учебные пособия
Экземпляры : всего 15: ОНЛ (Двинская 5/7, ЦБ)(3), ОУЛ (Двинская 5/7, ЦБ)(13), ЧЗ(2)
Свободны : ОНЛ (Двинская 5/7, ЦБ)(3), ОУЛ (Двинская 5/7, ЦБ)(13), ЧЗ(2)
Найти похожие

Вид документа :
Шифр издания : 51/З-153
Автор(ы) : Глухов, Михаил Михайлович, Козлитин, Олег Алексеевич, Шапошников, Виталий Анатольевич, Шишков, Алексей Борисович
Заглавие : Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов : учебное пособие для студентов вузов, обучающихся по специальностям в области 090100-"Информационная безопасность"
Выходные данные : СПб.; М.; Краснодар: Лань, 2008
Колич.характеристики :112 с
Примечания : Библиогр.: с. 109-110
ISBN, Цена 978-5-8114-0853-5: 130.02 р.
ГРНТИ : 27.03.19
УДК : 510.6(076.1)
Предметные рубрики: Математическая логика
Ключевые слова (''Своб.индексиров.''): дискретные функции--теория алгоритмов
Экземпляры : всего : ОНЛ (Двинская 5/7, ЦБ)(3), ЧЗ(2)
Свободны : ОНЛ (Двинская 5/7, ЦБ)(3), ЧЗ(2)
Найти похожие

Вид документа :
Шифр издания : 519.8/К 891
Автор(ы) : Кузнецов, Олег Петрович
Заглавие : Дискретная математика для инженера : учебник . -6-е изд.
Выходные данные : Б.м., 2009
Колич.характеристики :394 с.: ил.
Серия: Учебники для вузов. Специальная литература
Примечания : Библиогр.: с.388
ISBN, Цена 978-5-8114-0570-1: 350.02 р.
УДК : 519.85(075)
Предметные рубрики: Математическое программирование
Ключевые слова (''Своб.индексиров.''): логика--графы--теория алгоритмов--языки и грамматики--автоматы
Экземпляры : всего : ОНЛ (Двинская 5/7, ЦБ)(2), ЧЗ(3)
Свободны : ОНЛ (Двинская 5/7, ЦБ)(2), ЧЗ(3)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : 51/О-753
Автор(ы) : Нырков, Анатолий Павлович, Соколов, Сергей Сергеевич, Нырков, Андрей Анатольевич, Ли, Изольда Валерьевна
Заглавие : Основы теории множеств : учебное пособие
Выходные данные : СПб.: Изд-во ГУМРФ им. адм. С. О. Макарова, 2021
Колич.характеристики :68 с
Коллективы : Государственный университет морского и речного флота имени адмирала С. О. Макарова .Ин-т водного транспорта. Каф. комплексного обеспечения информационной безопасности
Примечания : Библиогр.: с. 65
ISBN, Цена 978-5-9509-0467-7: 220.00, 220.00, р.
ГРНТИ : 27.03
УДК : 510.6
Предметные рубрики: математическая логика
Ключевые слова (''Своб.индексиров.''): теория множеств--теория докозательств--теория алгоритмов--теория кантора--функции--эквивалентность--изоморфизмы--системы подмножеств--отношения частичного порядка
Экземпляры : всего 34: ОНЛ (Двинская 5/7, ЦБ)(1), ОУЛ (Двинская 5/7, ЦБ)(34)
Свободны : ОНЛ (Двинская 5/7, ЦБ)(1), ОУЛ (Двинская 5/7, ЦБ)(34)
Найти похожие

Инструкция по видам поиска

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