Временные логики
Название спецкурса на английском языке
Temporal logics
Пререквизиты
Отсутствуют
Целевая аудитория
3-6 курс, магистранты
аспиранты
Подразделение
[Кафедра математической логики и теории алгоритмов]
Семестр
Полгода (весна)
Тип курса
Спецкурс по выбору кафедры
Учебный год
2024/25
Список тем
Проблема полноты во временных логиках
Проблема разрешимости во временных логиках
Проблема определимости во временных логиках
Проблема разрешимости во временных логиках
Проблема определимости во временных логиках
Список источников
D.Gabbay, I.Hodkinson, M.Reynolds. Temporal Logic: Mathematical Foundations and Computational Aspects. Volume 1. Clarendon Press, 1994.
D. Goldblatt. Logic of time and computation. CSLI, 1987.
D. Goldblatt. Logic of time and computation. CSLI, 1987.
День недели
четверг
Время
16:45-18:20
Аудитория
424
Аудитория первого занятия
424