51 Н915 Нырков, Анатолий Павлович. Дискретная математика (Логика высказываний) [Текст] : методические указания / А. П. Нырков ; Федеральное агентство морского и речного транспорта. СПбГУВК. - СПб. : Изд-во СПбГУВК, 2006. - 19 с. : ил. - 20.00 р.
Кл.слова (ненормированные): математическая логика Экземпляры всего: 25 ОУЛ (Двинская 5/7, ЦБ) (23), ЧЗ (2) Свободны: ОУЛ (Двинская 5/7, ЦБ) (23), ЧЗ (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) |
004 И 741 Информатика и математика для юристов [Текст] : учебник для студентов вузов, обучающихся по специальности "Юриспруденция" (021100) / С. Я. Казанцев, В. Н. Калинина , О. Э. Згадзай и др.; ред. С. Я. Казанцев, Ред. Н. М. Дубинина. - 2-е изд., перераб. и доп. - М. : ЮНИТИ, 2006. - 560 с. - Библиогр.: с. 548 - 553. - ISBN 5-238-00928-3 : 189.42 р.
МАТЕМАТИКА Кл.слова (ненормированные): ЮРИСПРУДЕНЦИЯ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- МАТЕМАТИЧЕСКАЯ СТАТИСТИКА -- ТЕОРИЯ ВЕРОЯТНОСТЕЙ -- ИНФОРМАЦИОННОЕ ОБЕСПЕЧЕНИЕ -- ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ -- КОМПЬЮТЕРНЫЕ ТЕХНОЛОГИИ -- ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ Дескрипторы: ПРАВОВАЯ ИНФОРМАТИЗАЦИЯ -- ИНФОРМАТИЗАЦИЯ -- ИНФОРМАТИКА -- ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ И ОБРАБОТКА ДАННЫХ -- ИНФОРМАЦИОННАЯ БЕЗОПАСНОСТЬ -- МАТЕМАТИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ПРАВОВЕДЕНИЕ Доп.точки доступа: Казанцев, Сергей Яковлевич; Калинина , В. Н.; Згадзай, Олег Эдуардович; Левин, В. И.; Филиппов, А. В.; Дорошин, А. А.; Дубинина, Н. М.; Казанцев, Сергей Яковлевич \ред.\; Дубинина, Н. М. \ред.\ Экземпляры всего: 35 ОНЛ (Двинская 5/7, ЦБ) (3), ЧЗ (2), ОУЛ (Двинская 5/7, ЦБ) (30) Свободны: ОНЛ (Двинская 5/7, ЦБ) (3), ЧЗ (2), ОУЛ (Двинская 5/7, ЦБ) (30) |
681.3.06 К-658 Копанев, Александр Алексеевич. Логические системы управления [Текст] : тексты лекций / А. А. Копанев, Ю. Н. Ковалев, Р. Э. Францев. - СПб. : Изд-во СПбГУВК, 2000. - 102с. - 5.00 р.
Кл.слова (ненормированные): ЛОГИЧЕСКИЕ СИСТЕМЫ УПРАВЛЕНИЯ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА Доп.точки доступа: Ковалев, Ю. Н.; Францев, Р. Э. Экземпляры всего: 2 ОНЛ (Двинская 5/7, ЦБ) (2), ОУЛ (Двинская 5/7, ЦБ) Свободны: ОНЛ (Двинская 5/7, ЦБ) (2) |
51 Н-531 Непейвода, Н. Н. Прикладная логика [Текст] : учебное пособие для вузов / Н. Н. Непейвода ; М-во общего и профессионального образования РФ; Удмурдский гос. ун-т. - Ижевск : Изд-во Удмурдского ун-та, 1997. - 383с. - ISBN 5-7029-0074-Х : 50.00 р.
Кл.слова (ненормированные): ПРИКЛАДНАЯ ЛОГИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА Экземпляры всего: 1 ОНЛ (Двинская 5/7, ЦБ) (1) Свободны: ОНЛ (Двинская 5/7, ЦБ) (1) |
51 К 552 Кобелева, Анастасия Сергеевна. Математика. Введение в математическую логику [Текст] : [учебное пособие] / А. С. Кобелева ; Федеральное агентство морского и речного транспорта. С.-Петербург. гос. ун-т водных коммуникаций. - СПб. : Изд-во СПбГУВК, 2007. - 32 с. - 30.00 р.
Кл.слова (ненормированные): математическая логика Экземпляры всего: 25 ОНЛ (Двинская 5/7, ЦБ) (3), ОУЛ (Двинская 5/7, ЦБ) (20), ЧЗ (2) Свободны: ОНЛ (Двинская 5/7, ЦБ) (3), ОУЛ (Двинская 5/7, ЦБ) (20), ЧЗ (2) |
519.8 С 544 Соболева, Татьяна Сергеевна. Дискретная математика [Текст] : учебник для студентов вузов, обучающихся по специальностям направлений подготовки "Информатика и вычислительная техника", "Информационные системы", "Информационная безопасность" / Т. С. Соболева, А. В. Чечкин ; ред. А. В. Чечкин. - М. : Издательский центр"Академия", 2006. - 256 с. - (Университетский учебник. Прикладная математика и информатика). - Библиогр.: с. 252. - ISBN 5-7695-2823-0 : 181.19 р.
Кл.слова (ненормированные): множества -- топология -- математическая логика -- математическая кибернетика -- математическая информатика Доп.точки доступа: Чечкин, Александр Витальевич; Чечкин, Александр Витальевич \ред.\ Экземпляры всего: 5 ОНЛ (Двинская 5/7, ЦБ) (3), ЧЗ (2) Свободны: ОНЛ (Двинская 5/7, ЦБ) (3), ЧЗ (2) |
51 Я 452 Якиманская, Ираида Сергеевна. Психологические основы математического образования [Текст] : учебное пособие для студентов вузов, обучающихся по специальности 050201 "Математика" / И.С. Якиманская. - М. : Издательский центр "Академия", 2004. - 320 с. - (Высшее профессиональное образование). - Библиогр.: с. 312-318. - ISBN 5-7695-1836-7 : 210.10 р.
Кл.слова (ненормированные): математическая логика -- пространственное мышление Экземпляры всего: 1 ОНЛ (Двинская 5/7, ЦБ) (1) Свободны: ОНЛ (Двинская 5/7, ЦБ) (1) |
519.8 П 472 Поздняков, Сергей Николаевич. Дискретная математика [Текст] : учебник для студентов вузов, обучающихся по направлениям подготовки "Информатика и вычислительная техника", "Информационные системы", "Информационная безопасность" / С. Н. Поздняков, С. В. Рыбин. - М. : Издательский центр "Академия", 2008. - 448 с. - (Высшее профессиональное образование). - Библиогр.: с. 437-438. - Предм. указ.: с. 439-444. - ISBN 978-5-7695-3105-7 : 402.60 р., 457.27 р.
Кл.слова (ненормированные): арифметика целых чисел -- алгоритм Евклида -- математическая логика Доп.точки доступа: Рыбин, Сергей Витальевич Экземпляры всего: 4 ОНЛ (Двинская 5/7, ЦБ) (3), ЧЗ (1) Свободны: ОНЛ (Двинская 5/7, ЦБ) (3), ЧЗ (1) |
16 Б 912 Бургин, М. С. Введение в современную точную методологию науки [Текст] : структуры систем знаний : пособие для студентов вузов / М. С. Бургин, В. И. Кузнецов. - М. : Аспект Пресс, 1994. - 303 с. - (Программа "Обновление гуманитарного образования в России"). - Библиогр. в конце глав. - ISBN 5-86318-070-6 : 2000.00 р.
Кл.слова (ненормированные): МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ЭВРИСТИЧЕСКИЕ ПРОЦЕДУРЫ -- ТИПЫ СУПЕРЯЗЫКОВ Доп.точки доступа: Кузнецов, В. И. Экземпляры всего: 1 ОНЛ (Двинская 5/7, ЦБ) (1) Свободны: ОНЛ (Двинская 5/7, ЦБ) (1) |
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) |