51 У 774 Успенский, Владимир Андреевич. Вводный курс математической логики [Текст] : учебное пособие / В. А. Успенский, Н. К. Верещагин, В. Е. Плиско. - [2-е изд.]. - М. : Физматлит, 2004. - 128 с. - Библиогр.: с.122 . - Предм. указ.: с. 123. - ISBN 5-9221-0278-8 : 129.03 р., 118.47 р.
Кл.слова (ненормированные): теория множеств -- теория докозательств -- теория алгоритмов -- теорема Гёделя Доп.точки доступа: Плиско, Валерий Егорович; Верещагин, Николай Константинович Экземпляры всего: 2 ОНЛ (Двинская 5/7, ЦБ) (2) Свободны: ОНЛ (Двинская 5/7, ЦБ) (2) |
51 Р832 Рудин, Уолтер. Основы математического анализа [Текст] : учебник / У. Рудин; пер. с англ. В. П. Хавина. - Изд. 4-е., стереотип. - СПб. : Лань, 2004. - 320 с. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 308. - ISBN 5-8114-0443-3 : 116.49 р.
Кл.слова (ненормированные): теория множеств -- интеграл Римана-Стильтьеса Экземпляры всего: 30 ОНЛ (Двинская 5/7, ЦБ) (3), ОУЛ (Двинская 5/7, ЦБ) (25), ЧЗ (2) Свободны: ОНЛ (Двинская 5/7, ЦБ) (3), ОУЛ (Двинская 5/7, ЦБ) (25), ЧЗ (2) |
51 Л 136 Лавров, Игорь Андреевич. Задачи по теории множеств, математической логике и теории алгоритмов [Текст] : монография / И. А. Лавров, Л. Л. Максимова. - 5-е изд., испр. - М. : Физматлит, 2003. - 256 с. - Библиогр.: с. 248 - 249; Предм. указ.: с. 250 - 255. - ISBN 5-9221-0026-2 : 102.26 р.
математическая логика Кл.слова (ненормированные): ТЕОРИЯ МНОЖЕСТВ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ТЕОРИЯ АЛГОРИТМОВ -- УЧЕБНЫЕ ПОСОБИЯ Дескрипторы: МАТЕМАТИКА Доп.точки доступа: Максимова, Лариса Львовна Экземпляры всего: 18 ОНЛ (Двинская 5/7, ЦБ) (3), ОУЛ (Двинская 5/7, ЦБ) (13), ЧЗ (2) Свободны: ОНЛ (Двинская 5/7, ЦБ) (3), ОУЛ (Двинская 5/7, ЦБ) (13), ЧЗ (2) |
519.8 Ш 371 Шевелев, Юрий Павлович. Дискретная математика [Текст] : учебное пособие для студентов вузов, обучающихся по направлению и специальности "Прикладная математика и информатика" / Ю.П. Шевелев. - СПб. ; М. ; Краснодар : Лань, 2008. - 592 с. : ил. - (Учебники для вузов. Специальная литература). - Библиогр.: с.577-579 . - Предм. указ.: с. 580-584. - ISBN 978-5-8114-0810-8 : 489.94 р.
Кл.слова (ненормированные): теория множеств -- булева алгебра -- теория графов Экземпляры всего: 15 ОНЛ (Двинская 5/7, ЦБ) (3), ОУЛ (Двинская 5/7, ЦБ) (10), ЧЗ (2) Свободны: ОНЛ (Двинская 5/7, ЦБ) (3), ОУЛ (Двинская 5/7, ЦБ) (10), ЧЗ (2) |
51 Х 133 Хаггарти , Р. Дискретная математика для программистов [Текст] : учебное пособие / Р. Хаггарти . - 2-е изд., доп. - М. : Техносфера, 2005. - 399 с. - (Мир программирования. VIII. 02). - ISBN 5-94836-016-4 : 167.00 р.
Кл.слова (ненормированные): моделирование -- математическая индукция -- теория множеств -- функции -- комбинаторика -- графы -- булева алгебра Экземпляры всего: 2 УГ-3 (22-я линия В.О., 9) (1), УГ-3-ЧЗ (22-я линия В.О., 9) (1) Свободны: УГ-3 (22-я линия В.О., 9) (1), УГ-3-ЧЗ (22-я линия В.О., 9) (1) |
51 Л 324 Лащенов, Владимир Константинович Математический анализ .Функции одной вещественной переменной [Текст] : учебное пособие / В. К. Лащенов, М. Г. Сулимов ; Государственный университет морского и речного флота имени адмирала С. О. Макарова. Ин-т водного транспорта. Каф. прикладной математики. - СПб. : Изд-во ГУМРФ им. адм. С. О. Макарова, 2019 - . Ч.1. - СПб. : Изд-во ГУМРФ им. адм. С. О. Макарова, 2019. - 96 с. - Библиогр.: с. 93. - 114.40 р.
Кл.слова (ненормированные): теория множеств -- теория пределов -- непрерывность -- дифференциальное исчисление -- исследование функций Перейти: текст документа Доп.точки доступа: Сулимов, Михаил Григорьевич; Государственный университет морского и речного флота имени адмирала С. О. Макарова. Ин-т водного транспорта. Каф. прикладной математики Экземпляры всего: 25 ОНЛ (Двинская 5/7, ЦБ) (2), ОУЛ (Двинская 5/7, ЦБ) (23) Свободны: ОНЛ (Двинская 5/7, ЦБ) (2), ОУЛ (Двинская 5/7, ЦБ) (23) |
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) |