Подробное описание документа

Титов А. В., Калинкин А. В.
   Математическая логика. Нечеткие множества и формальные системы : метод. указания к решению типовых задач / Титов А. В., Калинкин А. В. ; МГТУ им. Н. Э. Баумана. - М. : Изд-во МГТУ им. Н. Э. Баумана, 2008. - 29 с. : ил. - Библиогр.: с. 29.

Читать онлайн Аннотация

Пособие содержит изложение разделов курса математической логики, включающих элементы теории нечетких множеств, а также теории формальных языков и их семантики. Даны примеры решения типовых задач, в конце каждого раздела приведены задания для самостоятельной работы студентов.
Для студентов 2-го курса факультетов ИБМ, ФН, РК.

УДК

510.6 Математическая логика

Предметные рубрики

• Математическая логика - Задачи

Авторы МГТУ

• Калинкин Александр Вячеславович

Общее кол-во в фондах

269 экз.

1. Абонемент младших курсов №1, УЛК, ауд. 247л
2. Абонемент младших курсов №2, УЛК, ауд. 205л
3. Абонемент старших курсов, ГУК, ауд. 213
4. Преподавательский абонемент ауд.305л, УЛК, ауд. 305л
5. Преподавательский абонемент ауд.313, ГУК, ауд. 313
6. Читальный зал ауд.305л, УЛК, ауд. 305л
7. Читальный зал ауд.313, ГУК, ауд. 313
8. Читальный зал ауд.345, ГУК, ауд. 345