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