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

Базы данных

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

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

    Бахтияров, Камиль Ибрагимович.
    Логика с точки зрения информатики. [Текст] : бестселлер в духе Льюиса Кэрролла / К. И. Бахтияров. - М. : Едиториал УРСС, 2002. - 128 с. - Библиогр.: с. 125. - ISBN 5-354-00089-0 : 93.93 р.
ГРНТИ
27.03.19
УДК
510.6
Рубрики: математическая логика

Экземпляры всего: 1
ОНЛ (Двинская 5/7, ЦБ) (1)
Свободны: ОНЛ (Двинская 5/7, ЦБ) (1)
Найти похожие
2.
   51
   В75

    Ворожцов, Артем Викторович.
    Путь в современную информатику. [Текст] / А. В. Ворожцов. - М. : Едиториал УРСС, 2003. - 144 с. - Библиогр.: с. 142. - ISBN 5-354-00240-0 : 63.79 р.
ГРНТИ
27.03
УДК
51-7
510.6
681.3
Рубрики: математическая логика
   Прикладная математика
Кл.слова (ненормированные):
комбинаторика. -- теория графов. -- теория информации. -- логика.

Экземпляры всего: 1
ОНЛ (Двинская 5/7, ЦБ) (1)
Свободны: ОНЛ (Двинская 5/7, ЦБ) (1)
Найти похожие
3.
   51
   З-153

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


Доп.точки доступа:
Глухов, Михаил Михайлович; Козлитин, Олег Алексеевич; Шапошников, Виталий Анатольевич; Шишков, Алексей Борисович
Экземпляры всего: 5
ОНЛ (Двинская 5/7, ЦБ) (3), ЧЗ (2)
Свободны: ОНЛ (Двинская 5/7, ЦБ) (3), ЧЗ (2)
Найти похожие
4.
   51
   К 552

    Кобелева, Анастасия Сергеевна.
    Математика. Введение в математическую логику [Текст] : [учебное пособие] / А. С. Кобелева ; Федеральное агентство морского и речного транспорта. С.-Петербург. гос. ун-т водных коммуникаций. - СПб. : Изд-во СПбГУВК, 2007. - 32 с. - 30.00 р.
ГРНТИ
27.03.19
УДК
510.6(075)
Рубрики: математическая логика
Кл.слова (ненормированные):
математическая логика

Экземпляры всего: 25
ОНЛ (Двинская 5/7, ЦБ) (3), ОУЛ (Двинская 5/7, ЦБ) (20), ЧЗ (2)
Свободны: ОНЛ (Двинская 5/7, ЦБ) (3), ОУЛ (Двинская 5/7, ЦБ) (20), ЧЗ (2)
Найти похожие
5.
   51
   К 560

    Ковалев, Юрий Николаевич.
    Основы математической логики [Текст] : текст лекций / Ю.Н. Ковалев ; С.-Петербург. гос. ун-т водных коммуникаций; Федеральное агентство морского и речного транспорта. . - изд. с дополнениями. - СПб. : ФГОУ ВПО СПГУВК, 2008. - 93 с. - 30.00 р.
ГРНТИ
27.03.19
УДК
510.6(075)
Рубрики: Математическая логика
Кл.слова (ненормированные):
алгебра логики -- булева алгебра -- логические функции

Экземпляры всего: 10
ОНЛ (Двинская 5/7, ЦБ) (3), ЧЗ (2), ОУЛ (Двинская 5/7, ЦБ) (5)
Свободны: ОНЛ (Двинская 5/7, ЦБ) (3), ЧЗ (2), ОУЛ (Двинская 5/7, ЦБ) (5)
Найти похожие
6.
   51
   К 562

    Коваленко, Сергей Иванович.
    Решение задач математической логики с использованием элементарной алгебры [Текст] : научное издание / С. И. Коваленко. - М. : Физматлит, 2004. - 80 с. - ISBN 5-94052-069-5 : 77.86 р.
ГРНТИ
27.03
УДК
510.6
Рубрики: математическая логика
Кл.слова (ненормированные):
математическая логика

Экземпляры всего: 5
ОНЛ (Двинская 5/7, ЦБ) (3), ЧЗ (2)
Свободны: ОНЛ (Двинская 5/7, ЦБ) (3), ЧЗ (2)
Найти похожие
7.
   51
   Л 136

    Лавров, Игорь Андреевич.
    Задачи по теории множеств, математической логике и теории алгоритмов [Текст] : монография / И. А. Лавров, Л. Л. Максимова. - 5-е изд., испр. - М. : Физматлит, 2003. - 256 с. - Библиогр.: с. 248 - 249; Предм. указ.: с. 250 - 255. - ISBN 5-9221-0026-2 : 102.26 р.
ГРНТИ
27
УДК
510.6
Рубрики: МАТЕМАТИКА
   математическая логика
Кл.слова (ненормированные):
ТЕОРИЯ МНОЖЕСТВ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ТЕОРИЯ АЛГОРИТМОВ -- УЧЕБНЫЕ ПОСОБИЯ
Дескрипторы: МАТЕМАТИКА


Доп.точки доступа:
Максимова, Лариса Львовна
Экземпляры всего: 18
ОНЛ (Двинская 5/7, ЦБ) (3), ОУЛ (Двинская 5/7, ЦБ) (13), ЧЗ (2)
Свободны: ОНЛ (Двинская 5/7, ЦБ) (3), ОУЛ (Двинская 5/7, ЦБ) (13), ЧЗ (2)
Найти похожие
8.
   51
   Л 656

    Лихтарников, Леонид Моисеевич.
    Математическая логика. [Текст] : курс лекций, задачник-практикум, решения, учебное пособие / Л. М. Лихтарников, Т. Г. Сукачева. - 3-е изд., испр. - СПб. ; М. ; Краснодар : Лань, 2008. - 288 с. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 273. - ISBN 978-5-8114-0082-9 : 304.48 р.
ГРНТИ
27.03.19
УДК
510.6(075)
Рубрики: математическая логика


Доп.точки доступа:
Сукачева, Тамара Геннадьевна
Экземпляры всего: 10
ОНЛ (Двинская 5/7, ЦБ) (3), ЧЗ (2), ОУЛ (Двинская 5/7, ЦБ) (5)
Свободны: ОНЛ (Двинская 5/7, ЦБ) (3), ЧЗ (2), ОУЛ (Двинская 5/7, ЦБ) (5)
Найти похожие
9.
   62
   Л 694

   
    Логические системы управления электропривода [Текст] : учебно-методическое пособие / А. В. Саушев [и др.] ; Государственный университет морского и речного флота имени адмирала С. О. Макарова .Ин-т водного транспорта. Каф. электропривода и электрооборудования береговых установок. - СПб. : Изд-во ГУМРФ им. адм. С. О. Макарова, 2021. - 44 с. - 66.00 р.
ГРНТИ
45.41
27.03
УДК
62-83(075):510.6
Рубрики: Электропривод
   Математическая логика
Кл.слова (ненормированные):
логические функции -- минимизация логических функций -- синтез логических систем уравнений


Доп.точки доступа:
Саушев, Александр Васильевич; Широков, Николай Викторович; Белоусов, Игорь Владимирович; Румянцев, Алексей Юрьевич; Государственный университет морского и речного флота имени адмирала С. О. Макарова .Ин-т водного транспорта. Каф. электропривода и электрооборудования береговых установок
Экземпляры всего: 10
ОУЛ (Двинская 5/7, ЦБ) (10)
Свободны: ОУЛ (Двинская 5/7, ЦБ) (10)
Найти похожие
10.
   51
   Н-531

    Непейвода, Н. Н.
    Прикладная логика [Текст] : учебное пособие для вузов / Н. Н. Непейвода ; М-во общего и профессионального образования РФ; Удмурдский гос. ун-т. - Ижевск : Изд-во Удмурдского ун-та, 1997. - 383с. - ISBN 5-7029-0074-Х : 50.00 р.
УДК
510(075)
Рубрики: Математическая логика
Кл.слова (ненормированные):
ПРИКЛАДНАЯ ЛОГИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА

Экземпляры всего: 1
ОНЛ (Двинская 5/7, ЦБ) (1)
Свободны: ОНЛ (Двинская 5/7, ЦБ) (1)
Найти похожие
 1-10    11-17 
 
Стандартный
Расширенный
Профессиональный
По словарю
УДК-навигатор
Инструкция по видам поиска
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)

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