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