Языки временных и темпоральных модальных логик широко используются для моделирования, спецификации и верификации (анализа корректности) программных систем логического управления и «реагирующих» систем, а нечеткая логика лежит в основе современных автоматических систем нечеткого управления. Учебное пособие написано в поддержку учебной дисциплины «Неклассические логики». Основное внимание в пособии уделяется базовым принципам и конструктивным элементам, с помощью которых происходит формальное построение различных неклассических логик высказываний. В пособии рассматриваются нормальные и ненормальные модальные логики, временные, условные, интуиционистские и многозначные логики, логики с возможными мирами, провалами и избытками истины, паранепротиворечивые, релевантные и нечеткие логики. Учебное пособие предназначено для студентов старших курсов, магистрантов и аспирантов, специализирующихся в области теоретической информатики и прикладной математики.
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.
С этой публикацией часто скачивают:
Курс математической логики и теории вычислимости Название: Курс математической логики и теории вычислимости Автор: Герасимов А.С. Издательство: Лань Год: 2014 ISBN: 978-5-8114-1666-0 Формат: pdf...
Математическая логика (2017) Название: Математическая логика (2017) Автор: Алябьева В.Г. Издательство: Пермь: Пермский государственный национальный исследовательский университет...
Элементы математической логики (1973) Название: Элементы математической логики Автор: Новиков П.С. Издательство: М.: Наука Год: 1973 - 2-изд., испр. Cтраниц: 401 Формат: pdf Размер: 23...
Математическая логика для социологов Название: Математическая логика для социологов Автор: Гуц А.К. Издательство: Омский государственный университет Год: 2017 Страниц: 192 Формат: djvu...
Основы дискретной математики Название: Основы дискретной математики Автор: Гаджиев А.А. Издательство: Махачкала: РИО/ДГТУ Год: 2006 Формат: pdf Страниц: 368 Размер: 33 Mb Язык:...
Математическая логика и теория алгоритмов Название: Математическая логика и теория алгоритмов Автор: Судоплатов С.В., Овчинникова Б.В. Издательство: М.: Инфра-М; Новосибирск: НГТУ Год: 2004...
Логика традиционная и современная Название: Логика традиционная и современная Автор: Конверский А.Е. Издательство: М.: Идея-Пресс Год: 2010 Страниц: 372 ISBN: 978-5-903927-07-4...
Информация
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.
Навигация
Вход на сайт
Реклама
Неклассические логики высказываний 
