Автор: Кузьмин Е.В.
Название: Неклассические логики высказываний: учебное пособие
Издательство: Ярославль: ЯрГУ
Год: 2016
ISBN: 978-5-8397-1079-5
Язык: Русский
Формат: djvu
Размер: 15,4 Мб
Качество: хорошее, текстовый слой, оглавление.
Кол-во страниц: 160

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