Л 24 Лапушкин, Валентин Анатольевич Математика [Текст] : конспект лекций : [для студентов направлений 220400.62 "Управление в технических системах", 201000.62 "Биотехнические системы" и других направлений бакалавриата] / В. А. Лапушкин ; М-во образования и науки РФ, ФГБОУ ВПО "Поволж. гос. технол. ун-т". - Йошкар-Ола : ПГТУ, 2013 - . Ч. 1 : Элементы математической логики. Множества. - 2013. - 98 с. : табл., рис. - ISBN 978-5-8158-1087-7 : 18.09 р., 18.55 р.
Кл.слова (ненормированные): ЛЕКЦИИ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- МНОЖЕСТВА -- ГРИФ РИС ПГТУ -- ТЕОРИЯ МНОЖЕСТВ -- логическая символика -- АЛГЕБРА ВЫСКАЗЫВАНИЙ -- ПОДМножества Экземпляры всего: 102 чз№1 (2), чз№2 (1), кнхр (1), абунл (98) Свободны: чз№1 (2), чз№2 (1), кнхр (1), абунл (98) |
М 74 Моисеев, Николай Геннадьевич. Математическая логика и теория алгоритмов [Текст : Электронный ресурс] : лаб. практикум / Н. Г. Моисеев ; ГОУ ВПО "Мар. гос. техн. ун-т". - Йошкар-Ола : МарГТУ, 2011. - 211 с. : ил. - 36.75 р., 37.02 р.
Кл.слова (ненормированные): ЛАБОРАТОРНЫЕ ПРАКТИКУМЫ -- АЛГЕБРА высказываний -- алгебра логики -- логика высказываний -- логика предикатов -- АЛГОРИТМЫ (ТЕОРИЯ) Перейти к внешнему ресурсу Математическая логика и теория алгоритмов. Экземпляры всего: 60 абунл (44), чз№1 (2), чз№2 (13), кнхр (1) Свободны: абунл (25), чз№1 (2), чз№2 (10), кнхр (1) |