Подробное описание документа
Титов А. В.
Математическая логика. Нечеткие множества и формальные системы : метод. указания к решению типовых задач / Титов А. В., Калинкин А. В. ; МГТУ им. Н. Э. Баумана. - М. : Изд-во МГТУ им. Н. Э. Баумана, 2008. - 29 с. : ил. - Библиогр.:
Пособие содержит изложение разделов курса математической логики, включающих элементы теории нечетких множеств, а также теории формальных языков и их семантики. Даны примеры решения типовых задач, в конце каждого раздела приведены задания для самостоятельной работы студентов.
Для студентов 2-го курса факультетов ИБМ, ФН, РК.
510.6 Математическая логика268 экз.![]()
- Абонемент младших курсов №1, УЛК, ауд. 247л
- Абонемент младших курсов №2, УЛК, ауд. 205л
- Абонемент старших курсов, ГУК, ауд. 213
- Преподавательский абонемент ауд.305л, УЛК, ауд. 305л
- Преподавательский абонемент ауд.313, ГУК, ауд. 313
- Читальный зал ауд.305л, УЛК, ауд. 305л
- Читальный зал ауд.313, ГУК, ауд. 313
- Читальный зал ауд.345, ГУК, ауд. 345