Учебная литература, A915924-ОХФ-ЧЗ-4, A915925-ОХФ, A915926-ОХФ, Шапорев, Сергей Дмитриевич. Математическая логика [Текст] : курс лекций и практических занятий / С. Д. Шапорев. - Санкт-Петербург : БХВ-Петербург, 2007. - 410 с. : граф., табл. - (Учебное пособие). - Библиогр.: с. 405 (26 назв.). - Предм. указ.: с. 406-410. - ISBN 978-5-94157-702-6 (в пер.) : 149.20 р. Допущено науч.-метод. советом по математике вузов Северо-Запада в качестве учеб. пособия для студентов вузов, обучающихся по специальностям 220200 "Автоматизированные системы обработки информации и управления", 171900 "Информационные системы в технике и технологиях"
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- алгоритмов теория -- исчисления высказываний -- исчисления предикатов -- логика предикатов Экземпляры всего: 25 ОХФ-ЧЗ-4 (1), ОХФ (2), ОУОЕН (22) |