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

Базы данных

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

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

    Ястребов, Михаил Юрьевич.
    Введение в математическую логику [Текст] : конспект лекций / М. Ю. Ястребов ; Министерство транспорта Российской Федерации; Санкт-Петербургский государственный университет водных коммуникаций. - СПб. : Изд-во СПбГУВК, 2002. - 60 с. - Библиогр.: с. 59. - 10.00 р.
ГРНТИ
27.03.19
УДК
510(075)
Рубрики: математическая логика

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

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

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

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


Доп.точки доступа:
Плиско, Валерий Егорович; Верещагин, Николай Константинович
Экземпляры всего: 2
ОНЛ (Двинская 5/7, ЦБ) (2)
Свободны: ОНЛ (Двинская 5/7, ЦБ) (2)
Найти похожие
4.
   62
   Т 382

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


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

    Петров, Юрий Александрович.
    Логические проблемы абстракций бесконечности и осуществимости [Текст] : научное издание / Ю.А. Петров. - 2-е изд., испр. . - М. : Едиториал УРСС, 2004. - 200 с. - Библиогр.: с. 160-162. - ISBN 5-354-00975-8 : 142.00 р.
ГРНТИ
27.03.19
УДК
510.6
Рубрики: математическая логика
Кл.слова (ненормированные):
математическая логика


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

   
    Основы теории множеств [Текст] : учебное пособие / А. П. Нырков [и др.] ; Государственный университет морского и речного флота имени адмирала С. О. Макарова .Ин-т водного транспорта. Каф. комплексного обеспечения информационной безопасности. - СПб. : Изд-во ГУМРФ им. адм. С. О. Макарова, 2021. - 68 с. - Библиогр.: с. 65. - ISBN 978-5-9509-0467-7 : 220.00 р.
ГРНТИ
27.03
УДК
510.6
Рубрики: математическая логика
Кл.слова (ненормированные):
теория множеств -- теория докозательств -- теория алгоритмов -- теория Кантора -- функции -- эквивалентность -- изоморфизмы -- системы подмножеств -- отношения частичного порядка


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

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


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

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

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

    Новак, Вилем.
    Математические принципы нечеткой логики [Текст] : научное издание / В. Новак, И. Перфильева, И. Мочкорж ; пер. с англ. под ред. А. Н. Аверкин. - М. : Физматлит, 2006. - 352 с. - Библиогр.: с. 335-343. - Предм. указ.: с. 344-347. - ISBN 5-9221-0399-7 : 306.00 р.
ГРНТИ
27.03.19
УДК
510.6
Рубрики: математическая логика
Кл.слова (ненормированные):
математическая логика -- алгебра логики -- классическая логика -- нечеткая логика


Доп.точки доступа:
Перфильева, Ирина; Мочкорж, Иржи; Аверкин, А.Н. \пер.\
Экземпляры всего: 1
ОНЛ (Двинская 5/7, ЦБ) (1)
Свободны: ОНЛ (Двинская 5/7, ЦБ) (1)
Найти похожие
10.
   62
   Л 694

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


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

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