Неклассические логики высказываний » MIRLIB.RU - ТВОЯ БИБЛИОТЕКА
Категория: КНИГИ » УЧЕБНАЯ ЛИТЕРАТУРА
Неклассические логики высказываний
/
Неклассические логики высказываний
Название: Неклассические логики высказываний: учебное пособие
Автор: Кузьмин Е.В.
Издательство: Ярославль: ЯрГУ
Год: 2016
Страниц: 160
Формат: djvu
Размер: 15,4 Мб
Язык: Русский

Широко используются языки темпоральных и временных модальных логик для моделирования, спецификации и верификации программных систем логического управления и «реагирующих» систем, а нечеткая логика лежит в основе современных автоматических систем нечеткого управления. Учебное пособие написано в поддержку учебной дисциплины «Неклассические логики». Основное внимание в пособии уделяется базовым принципам и конструктивным элементам, с помощью которых происходит формальное построение различных неклассических логик высказываний. В пособии рассматриваются нормальные и ненормальные модальные логики, временные, условные, интуиционистские и многозначные логики, логики с возможными мирами, провалами и избытками истины, паранепротиворечивые, релевантные и нечеткие логики. Учебное пособие предназначено для студентов старших курсов, магистрантов и аспирантов, специализирующихся в области теоретической информатики и прикладной математики.







[related-news]
[/related-news]
Комментарии 0
Комментариев пока нет. Стань первым!