|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Модальная логика и ее приложенияучебный курс
- Авторы: Золин Е.Е., Шапировский И.Б.
- Год создания: 2014
- Организация: МГУ имени М.В. Ломоносова
- Описание: Модальная логика – активно развивающаяся дисциплина на стыке математики и информатики. Мы хотим познакомить слушателей с основными понятиями модальной логики и с рядом её приложений. Курс состоит из двух частей. В первой части мы рассмотрим базовые понятия модальной логики и сформулируем основные задачи, возникающие в этой науке (акцент мы сделаем на алгоритмических проблемах – разрешимости и вычислительной сложности). Во второй части мы используем описанный общий аппарат, чтобы познакомить слушателя с некоторыми конкретными приложениями модальной логики: мы рассмотрим темпоральные логики, используемые в верификации моделей программ, дескрипционные логики, применяемые для формального представления знаний, и пропозициональную динамическую логику программ.
- Добавил в систему: Золин Евгений Евгеньевич
Преподавание курса
- 19 сентября 2014 - 15 мая 2015 Золин Евгений Евгеньевич
- МГУ имени М.В. Ломоносова, Механико-математический факультет
- обязательная, по выбору (спецкурс), лекции, 68 часов
- Авторы: Золин Е.Е., Шапировский И.Б.