51 К 560 Ковалев, Юрий Николаевич. Основы математической логики [Текст] : текст лекций / Ю.Н. Ковалев ; С.-Петербург. гос. ун-т водных коммуникаций; Федеральное агентство морского и речного транспорта. . - изд. с дополнениями. - СПб. : ФГОУ ВПО СПГУВК, 2008. - 93 с. - 30.00 р.
Кл.слова (ненормированные): алгебра логики -- булева алгебра -- логические функции Экземпляры всего: 10 ОНЛ (Двинская 5/7, ЦБ) (3), ЧЗ (2), ОУЛ (Двинская 5/7, ЦБ) (5) Свободны: ОНЛ (Двинская 5/7, ЦБ) (3), ЧЗ (2), ОУЛ (Двинская 5/7, ЦБ) (5) |
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) |