51 Я85 Ястребов, Михаил Юрьевич. Введение в математическую логику [Текст] : конспект лекций / М. Ю. Ястребов ; Министерство транспорта Российской Федерации; Санкт-Петербургский государственный университет водных коммуникаций. - СПб. : Изд-во СПбГУВК, 2002. - 60 с. - Библиогр.: с. 59. - 10.00 р.
Экземпляры всего: 4 ОУЛ (Двинская 5/7, ЦБ) (4) Свободны: ОУЛ (Двинская 5/7, ЦБ) (4) |
51 Б30 Бахтияров, Камиль Ибрагимович. Логика с точки зрения информатики. [Текст] : бестселлер в духе Льюиса Кэрролла / К. И. Бахтияров. - М. : Едиториал УРСС, 2002. - 128 с. - Библиогр.: с. 125. - ISBN 5-354-00089-0 : 93.93 р.
Экземпляры всего: 1 ОНЛ (Двинская 5/7, ЦБ) (1) Свободны: ОНЛ (Двинская 5/7, ЦБ) (1) |
51 В75 Ворожцов, Артем Викторович. Путь в современную информатику. [Текст] / А. В. Ворожцов. - М. : Едиториал УРСС, 2003. - 144 с. - Библиогр.: с. 142. - ISBN 5-354-00240-0 : 63.79 р.
Прикладная математика Кл.слова (ненормированные): комбинаторика. -- теория графов. -- теория информации. -- логика. Экземпляры всего: 1 ОНЛ (Двинская 5/7, ЦБ) (1) Свободны: ОНЛ (Двинская 5/7, ЦБ) (1) |
51 У 774 Успенский, Владимир Андреевич. Вводный курс математической логики [Текст] : учебное пособие / В. А. Успенский, Н. К. Верещагин, В. Е. Плиско. - [2-е изд.]. - М. : Физматлит, 2004. - 128 с. - Библиогр.: с.122 . - Предм. указ.: с. 123. - ISBN 5-9221-0278-8 : 129.03 р., 118.47 р.
Кл.слова (ненормированные): теория множеств -- теория докозательств -- теория алгоритмов -- теорема Гёделя Доп.точки доступа: Плиско, Валерий Егорович; Верещагин, Николай Константинович Экземпляры всего: 2 ОНЛ (Двинская 5/7, ЦБ) (2) Свободны: ОНЛ (Двинская 5/7, ЦБ) (2) |
51 Н915 Нырков, Анатолий Павлович. Дискретная математика (Логика высказываний) [Текст] : методические указания / А. П. Нырков ; Федеральное агентство морского и речного транспорта. СПбГУВК. - СПб. : Изд-во СПбГУВК, 2006. - 19 с. : ил. - 20.00 р.
Кл.слова (ненормированные): математическая логика Экземпляры всего: 25 ОУЛ (Двинская 5/7, ЦБ) (23), ЧЗ (2) Свободны: ОУЛ (Двинская 5/7, ЦБ) (23), ЧЗ (2) |
51 К 552 Кобелева, Анастасия Сергеевна. Математика. Введение в математическую логику [Текст] : [учебное пособие] / А. С. Кобелева ; Федеральное агентство морского и речного транспорта. С.-Петербург. гос. ун-т водных коммуникаций. - СПб. : Изд-во СПбГУВК, 2007. - 32 с. - 30.00 р.
Кл.слова (ненормированные): математическая логика Экземпляры всего: 25 ОНЛ (Двинская 5/7, ЦБ) (3), ОУЛ (Двинская 5/7, ЦБ) (20), ЧЗ (2) Свободны: ОНЛ (Двинская 5/7, ЦБ) (3), ОУЛ (Двинская 5/7, ЦБ) (20), ЧЗ (2) |
51 Н 915 Нырков, Анатолий Павлович. Математическая логика (Алгебра высказываний) [Текст] : [учебное пособие] / А. П. Нырков, Е. В. Морозова ; Федеральное агентство морского и речного транспорта. С.-Петербург. гос. ун-т водных коммуникаций. - СПб. : Изд-во СПбГУВК, 2006. - 80 с. - 30.00 р.
Кл.слова (ненормированные): многочлены Жегалкина -- логические формулы Доп.точки доступа: Морозова, Елена Владимировна Экземпляры всего: 15 ОНЛ (Двинская 5/7, ЦБ) (3), ОУЛ (Двинская 5/7, ЦБ) (10), ЧЗ (2) Свободны: ОНЛ (Двинская 5/7, ЦБ) (3), ОУЛ (Двинская 5/7, ЦБ) (10), ЧЗ (2) |
51 К 560 Ковалёв, Юрий Николаевич. Основы математической логики [Текст] : текст лекций / Ю.Н. Ковалёв ; Федеральное агентство морского и речного транспорта. С.-Петербург. гос. ун-т водных коммуникаций. - СПб. : Изд-во СПбГУВК, 2005. - 84 с. - 25.00 р.
Кл.слова (ненормированные): алгебра логики Экземпляры всего: 20 ОНЛ (Двинская 5/7, ЦБ) (3), ОУЛ (Двинская 5/7, ЦБ) (15), ЧЗ (2) Свободны: ОНЛ (Двинская 5/7, ЦБ) (3), ОУЛ (Двинская 5/7, ЦБ) (15), ЧЗ (2) |
51 Л 656 Лихтарников, Леонид Моисеевич. Математическая логика. [Текст] : курс лекций, задачник-практикум, решения, учебное пособие / Л. М. Лихтарников, Т. Г. Сукачева. - 3-е изд., испр. - СПб. ; М. ; Краснодар : Лань, 2008. - 288 с. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 273. - ISBN 978-5-8114-0082-9 : 304.48 р.
Доп.точки доступа: Сукачева, Тамара Геннадьевна Экземпляры всего: 10 ОНЛ (Двинская 5/7, ЦБ) (3), ЧЗ (2), ОУЛ (Двинская 5/7, ЦБ) (5) Свободны: ОНЛ (Двинская 5/7, ЦБ) (3), ЧЗ (2), ОУЛ (Двинская 5/7, ЦБ) (5) |
51 К 560 Ковалев, Юрий Николаевич. Основы математической логики [Текст] : текст лекций / Ю.Н. Ковалев ; С.-Петербург. гос. ун-т водных коммуникаций; Федеральное агентство морского и речного транспорта. . - изд. с дополнениями. - СПб. : ФГОУ ВПО СПГУВК, 2008. - 93 с. - 30.00 р.
Кл.слова (ненормированные): алгебра логики -- булева алгебра -- логические функции Экземпляры всего: 10 ОНЛ (Двинская 5/7, ЦБ) (3), ЧЗ (2), ОУЛ (Двинская 5/7, ЦБ) (5) Свободны: ОНЛ (Двинская 5/7, ЦБ) (3), ЧЗ (2), ОУЛ (Двинская 5/7, ЦБ) (5) |
51 Я 452 Якиманская, Ираида Сергеевна. Психологические основы математического образования [Текст] : учебное пособие для студентов вузов, обучающихся по специальности 050201 "Математика" / И.С. Якиманская. - М. : Издательский центр "Академия", 2004. - 320 с. - (Высшее профессиональное образование). - Библиогр.: с. 312-318. - ISBN 5-7695-1836-7 : 210.10 р.
Кл.слова (ненормированные): математическая логика -- пространственное мышление Экземпляры всего: 1 ОНЛ (Двинская 5/7, ЦБ) (1) Свободны: ОНЛ (Двинская 5/7, ЦБ) (1) |
51 З-153 Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов [Текст] : учебное пособие для студентов вузов, обучающихся по специальностям в области 090100-"Информационная безопасность" / М. М. Глухов [и др.]. - СПб. ; М. ; Краснодар : Лань, 2008. - 112 с. - Библиогр.: с. 109-110. - ISBN 978-5-8114-0853-5 : 130.02 р.
Кл.слова (ненормированные): дискретные функции -- теория алгоритмов Доп.точки доступа: Глухов, Михаил Михайлович; Козлитин, Олег Алексеевич; Шапошников, Виталий Анатольевич; Шишков, Алексей Борисович Экземпляры всего: 5 ОНЛ (Двинская 5/7, ЦБ) (3), ЧЗ (2) Свободны: ОНЛ (Двинская 5/7, ЦБ) (3), ЧЗ (2) |
51 К 562 Коваленко, Сергей Иванович. Решение задач математической логики с использованием элементарной алгебры [Текст] : научное издание / С. И. Коваленко. - М. : Физматлит, 2004. - 80 с. - ISBN 5-94052-069-5 : 77.86 р.
Кл.слова (ненормированные): математическая логика Экземпляры всего: 5 ОНЛ (Двинская 5/7, ЦБ) (3), ЧЗ (2) Свободны: ОНЛ (Двинская 5/7, ЦБ) (3), ЧЗ (2) |
51 П 305 Петров, Юрий Александрович. Логические проблемы абстракций бесконечности и осуществимости [Текст] : научное издание / Ю.А. Петров. - 2-е изд., испр. . - М. : Едиториал УРСС, 2004. - 200 с. - Библиогр.: с. 160-162. - ISBN 5-354-00975-8 : 142.00 р.
Кл.слова (ненормированные): математическая логика Доп.точки доступа: Яновская, С.А. \ред.\ Экземпляры всего: 1 ОНЛ (Двинская 5/7, ЦБ) (1) Свободны: ОНЛ (Двинская 5/7, ЦБ) (1) |
51 Н 723 Новак, Вилем. Математические принципы нечеткой логики [Текст] : научное издание / В. Новак, И. Перфильева, И. Мочкорж ; пер. с англ. под ред. А. Н. Аверкин. - М. : Физматлит, 2006. - 352 с. - Библиогр.: с. 335-343. - Предм. указ.: с. 344-347. - ISBN 5-9221-0399-7 : 306.00 р.
Кл.слова (ненормированные): математическая логика -- алгебра логики -- классическая логика -- нечеткая логика Доп.точки доступа: Перфильева, Ирина; Мочкорж, Иржи; Аверкин, А.Н. \пер.\ Экземпляры всего: 1 ОНЛ (Двинская 5/7, ЦБ) (1) Свободны: ОНЛ (Двинская 5/7, ЦБ) (1) |
51 О-753 Основы теории множеств [Текст] : учебное пособие / А. П. Нырков [и др.] ; Государственный университет морского и речного флота имени адмирала С. О. Макарова .Ин-т водного транспорта. Каф. комплексного обеспечения информационной безопасности. - СПб. : Изд-во ГУМРФ им. адм. С. О. Макарова, 2021. - 68 с. - Библиогр.: с. 65. - ISBN 978-5-9509-0467-7 : 220.00 р.
Кл.слова (ненормированные): теория множеств -- теория докозательств -- теория алгоритмов -- теория Кантора -- функции -- эквивалентность -- изоморфизмы -- системы подмножеств -- отношения частичного порядка Доп.точки доступа: Нырков, Анатолий Павлович; Соколов, Сергей Сергеевич; Нырков, Андрей Анатольевич; Ли, Изольда Валерьевна; Государственный университет морского и речного флота имени адмирала С. О. Макарова .Ин-т водного транспорта. Каф. комплексного обеспечения информационной безопасности Экземпляры всего: 35 ОНЛ (Двинская 5/7, ЦБ) (1), ОУЛ (Двинская 5/7, ЦБ) (34) Свободны: ОНЛ (Двинская 5/7, ЦБ) (1), ОУЛ (Двинская 5/7, ЦБ) (34) |
62 Л 694 Логические системы управления электропривода [Текст] : учебно-методическое пособие / А. В. Саушев [и др.] ; Государственный университет морского и речного флота имени адмирала С. О. Макарова .Ин-т водного транспорта. Каф. электропривода и электрооборудования береговых установок. - СПб. : Изд-во ГУМРФ им. адм. С. О. Макарова, 2021. - 44 с. - 66.00 р.
Математическая логика Кл.слова (ненормированные): логические функции -- минимизация логических функций -- синтез логических систем уравнений Доп.точки доступа: Саушев, Александр Васильевич; Широков, Николай Викторович; Белоусов, Игорь Владимирович; Румянцев, Алексей Юрьевич; Государственный университет морского и речного флота имени адмирала С. О. Макарова .Ин-т водного транспорта. Каф. электропривода и электрооборудования береговых установок Экземпляры всего: 10 ОУЛ (Двинская 5/7, ЦБ) (10) Свободны: ОУЛ (Двинская 5/7, ЦБ) (10) |
62 Т 382 Техническая эксплуатация автоматизированных электроприводов [Текст] : учебно-методическое пособие / А. В. Саушев [и др.] ; Государственный университет морского и речного флота имени адмирала С. О. Макарова .Ин-т водного транспорта. Каф. электропривода иэлектрооборудования береговых установок. - СПб. : Изд-во ГУМРФ им. адм. С. О. Макарова, 2022. - 56 с. - Библиогр.: с. 55. - 77.00 р.
Кл.слова (ненормированные): электропривод и автоматика -- автоматизированнный электропривод Доп.точки доступа: Саушев, Александр Васильевич; Бова, Елена Владимировна; Широков, Николай Викторович; Шарашкин, Сергей Владимирович; Государственный университет морского и речного флота имени адмирала С. О. Макарова .Ин-т водного транспорта. Каф. электропривода иэлектрооборудования береговых установок Экземпляры всего: 15 ОУЛ (Двинская 5/7, ЦБ) (15) Свободны: ОУЛ (Двинская 5/7, ЦБ) (15) |