Название: Неклассические логики высказываний: учебное пособие
Автор: Кузьмин Е.В.
Издательство: Ярославль: ЯрГУ
Год: 2016
Страниц: 160
Формат: djvu
Размер: 15,4 Мб
Язык: Русский
Для моделирования, спецификации и верификации программных систем логического управления и «реагирующих» систем широко используются языки временных и темпоральных модальных логик, а нечеткая логика лежит в основе современных автоматических систем нечеткого управления. Учебное пособие написано в поддержку учебной дисциплины «Неклассические логики». Основное внимание в пособии уделяется базовым принципам и конструктивным элементам, с помощью которых происходит формальное построение различных неклассических логик высказываний. В пособии рассматриваются нормальные и ненормальные модальные логики, временные, условные, интуиционистские и многозначные логики, логики с возможными мирами, провалами и избытками истины, паранепротиворечивые, релевантные и нечеткие логики. Учебное пособие предназначено для студентов старших курсов, магистрантов и аспирантов, специализирующихся в области теоретической информатики и прикладной математики.