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

Базы данных

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

Вид поиска
Основная база библиотеки ФГБОУ ВО "ГУМРФ имени адмирала С.О. Макарова"
Сборники научных трудов; Материалы конференций.
Периодические издания (газеты, журналы)
Фонд редкой книги; Морское наследие
Область поиска
в найденном
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>S=математическая логика<.>)
Общее количество найденных документов : 17
Показаны документы с 1 по 10
 1-10    11-17 
1.

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

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

Вид документа :
Шифр издания : 51/Я 452
Автор(ы) : Якиманская, Ираида Сергеевна
Заглавие : Психологические основы математического образования : учебное пособие для студентов вузов, обучающихся по специальности 050201 "Математика"
Выходные данные : М.: Издательский центр "Академия", 2004
Колич.характеристики :320 с
Серия: Высшее профессиональное образование
Примечания : Библиогр.: с. 312-318
ISBN, Цена 5-7695-1836-7: 210.10 р.
ГРНТИ : 27.03.19
УДК : 510.6(075)
Предметные рубрики: Математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--пространственное мышление
Экземпляры :ОНЛ (Двинская 5/7, ЦБ)(1)
Свободны : ОНЛ (Двинская 5/7, ЦБ)(1)
Найти похожие
4.

Вид документа : Однотомное издание
Шифр издания : 51/Н-531
Автор(ы) : Непейвода Н. Н.
Заглавие : Прикладная логика : учебное пособие для вузов
Выходные данные : Ижевск: Изд-во Удмурдского ун-та, 1997
Колич.характеристики :383с.
ISBN, Цена 5-7029-0074-Х: 50.00 р.
УДК : 510(075)
Предметные рубрики: Математическая логика
Ключевые слова (''Своб.индексиров.''): прикладная логика--математическая логика
Экземпляры :ОНЛ (Двинская 5/7, ЦБ)(1)
Свободны : ОНЛ (Двинская 5/7, ЦБ)(1)
Найти похожие
5.

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

Вид документа :
Шифр издания : 51/К 560
Автор(ы) : Ковалев, Юрий Николаевич
Заглавие : Основы математической логики : текст лекций . -изд. с дополнениями
Выходные данные : СПб.: ФГОУ ВПО СПГУВК, 2008
Колич.характеристики :93 с
Цена : 30.00 р.
ГРНТИ : 27.03.19
УДК : 510.6(075)
Предметные рубрики: Математическая логика
Ключевые слова (''Своб.индексиров.''): алгебра логики--булева алгебра--логические функции
Экземпляры : всего 7: ОНЛ (Двинская 5/7, ЦБ)(3), ЧЗ(2), ОУЛ (Двинская 5/7, ЦБ)(5)
Свободны : ОНЛ (Двинская 5/7, ЦБ)(3), ЧЗ(2), ОУЛ (Двинская 5/7, ЦБ)(5)
Найти похожие
7.

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

Вид документа :
Шифр издания : 51/Л 656
Автор(ы) : Лихтарников, Леонид Моисеевич, Сукачева, Тамара Геннадьевна
Заглавие : Математическая логика. : курс лекций, задачник-практикум, решения, учебное пособие . -3-е изд., испр.
Выходные данные : СПб.; М.; Краснодар: Лань, 2008
Колич.характеристики :288 с
Серия: Учебники для вузов. Специальная литература
Примечания : Библиогр.: с. 273
ISBN, Цена 978-5-8114-0082-9: 304.48 р.
ГРНТИ : 27.03.19
УДК : 510.6(075)
Предметные рубрики: математическая логика
Экземпляры : всего 7: ОНЛ (Двинская 5/7, ЦБ)(3), ЧЗ(2), ОУЛ (Двинская 5/7, ЦБ)(5)
Свободны : ОНЛ (Двинская 5/7, ЦБ)(3), ЧЗ(2), ОУЛ (Двинская 5/7, ЦБ)(5)
Найти похожие
9.

Вид документа :
Шифр издания : 51/Н 915
Автор(ы) : Нырков, Анатолий Павлович, Морозова, Елена Владимировна
Заглавие : Математическая логика (Алгебра высказываний) : [учебное пособие]
Выходные данные : СПб.: Изд-во СПбГУВК, 2006
Колич.характеристики :80 с
Цена : 30.00 р.
ГРНТИ : 27.03.19
УДК : 510.6(075)
Предметные рубрики: Математическая логика
Ключевые слова (''Своб.индексиров.''): многочлены жегалкина--логические формулы
Экземпляры : всего 12: ОНЛ (Двинская 5/7, ЦБ)(3), ОУЛ (Двинская 5/7, ЦБ)(10), ЧЗ(2)
Свободны : ОНЛ (Двинская 5/7, ЦБ)(3), ОУЛ (Двинская 5/7, ЦБ)(10), ЧЗ(2)
Найти похожие
10.

Вид документа :
Шифр издания : 51/К 552
Автор(ы) : Кобелева, Анастасия Сергеевна
Заглавие : Математика. Введение в математическую логику : [учебное пособие]
Выходные данные : СПб.: Изд-во СПбГУВК, 2007
Колич.характеристики :32 с
Цена : 30.00 р.
ГРНТИ : 27.03.19
УДК : 510.6(075)
Предметные рубрики: математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика
Экземпляры : всего 22: ОНЛ (Двинская 5/7, ЦБ)(3), ОУЛ (Двинская 5/7, ЦБ)(20), ЧЗ(2)
Свободны : ОНЛ (Двинская 5/7, ЦБ)(3), ОУЛ (Двинская 5/7, ЦБ)(20), ЧЗ(2)
Найти похожие
 1-10    11-17 
 
Стандартный
Расширенный
Профессиональный
По словарю
УДК-навигатор
Инструкция по видам поиска
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)

Яндекс.Метрика