Название спецкурса на русском языке
Введение в модальную логику
Перевод названия курса на английский язык
Introduction to modal logic
Целевая аудитория
2 курс
3 курс
4 курс
5 курс
6 курс
Магистранты
Подразделение
[Кафедра математической логики и теории алгоритмов]
Семестр
Полгода (осень)
Тип курса
Спецкурс по выбору кафедры
Учебный год
2020/21
Аудитория
[Неприменимо]
Аннотация
Курс содержит базовые понятия и результаты модальной логики: семантика Крипке, полнота методом канонической модели; сохранение модальных формул при операциях над шкалами; конечные канонические модели как средство доказательства полноты логик относительно конечных шкал; связь бисимуляции и модальной эквивалентности.
Дополнительная информация
дистанционно (Zoom); ezolin@yandex.ru