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

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

Базы данных

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

Вид поиска

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

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

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

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

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

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

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

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

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

Вид документа :
Шифр издания : 51/Б30
Автор(ы) : Бахтияров, Камиль Ибрагимович
Заглавие : Логика с точки зрения информатики. : Бестселлер в духе Льюиса Кэрролла
Выходные данные : М.: Едиториал УРСС, 2002
Колич.характеристики :128 с
Примечания : Библиогр.: с. 125
ISBN, Цена 5-354-00089-0: 93.93, 93.93, р.
ГРНТИ : 27.03.19
УДК : 510.6
Предметные рубрики: математическая логика
Экземпляры :ОНЛ (Двинская 5/7, ЦБ)(1)
Свободны : ОНЛ (Двинская 5/7, ЦБ)(1)
Найти похожие

Вид документа :
Шифр издания : 51/В75
Автор(ы) : Ворожцов, Артем Викторович
Заглавие : Путь в современную информатику.
Выходные данные : М.: Едиториал УРСС, 2003
Колич.характеристики :144 с
Примечания : Библиогр.: с. 142
ISBN, Цена 5-354-00240-0: 63.79, 63.79, р.
ГРНТИ : 27.03
УДК : 51-7 + 510.6 + 681.3
Предметные рубрики: математическая логика
Прикладная математика
Ключевые слова (''Своб.индексиров.''): комбинаторика.--теория графов.--теория информации.--логика.
Экземпляры :ОНЛ (Двинская 5/7, ЦБ)(1)
Свободны : ОНЛ (Двинская 5/7, ЦБ)(1)
Найти похожие

Вид документа :
Шифр издания : 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/К 562
Автор(ы) : Коваленко, Сергей Иванович
Заглавие : Решение задач математической логики с использованием элементарной алгебры : научное издание
Выходные данные : М.: Физматлит, 2004
Колич.характеристики :80 с
ISBN, Цена 5-94052-069-5: 77.86 р.
ГРНТИ : 27.03
УДК : 510.6
Предметные рубрики: математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика
Экземпляры : всего : ОНЛ (Двинская 5/7, ЦБ)(3), ЧЗ(2)
Свободны : ОНЛ (Двинская 5/7, ЦБ)(3), ЧЗ(2)
Найти похожие

Вид документа :
Шифр издания : 51/П 305
Автор(ы) : Петров, Юрий Александрович
Заглавие : Логические проблемы абстракций бесконечности и осуществимости : научное издание . -2-е изд., испр.
Выходные данные : М.: Едиториал УРСС, 2004
Колич.характеристики :200 с
Примечания : Библиогр.: с. 160-162
ISBN, Цена 5-354-00975-8: 142.00 р.
ГРНТИ : 27.03.19
УДК : 510.6
Предметные рубрики: математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика
Экземпляры :ОНЛ (Двинская 5/7, ЦБ)(1)
Свободны : ОНЛ (Двинская 5/7, ЦБ)(1)
Найти похожие

Вид документа :
Шифр издания : 51/Н 723
Автор(ы) : Новак, Вилем, Перфильева, Ирина, Мочкорж, Иржи
Заглавие : Математические принципы нечеткой логики : научное издание
Выходные данные : М.: Физматлит, 2006
Колич.характеристики :352 с
Примечания : Библиогр.: с. 335-343. - Предм. указ.: с. 344-347
ISBN, Цена 5-9221-0399-7: 306.00 р.
ГРНТИ : 27.03.19
УДК : 510.6
Предметные рубрики: математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--алгебра логики--классическая логика--нечеткая логика
Экземпляры :ОНЛ (Двинская 5/7, ЦБ)(1)
Свободны : ОНЛ (Двинская 5/7, ЦБ)(1)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : 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)
Найти похожие

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

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