|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Логика времениучебный курс
- Автор: Григорьев О.М.
- Год создания: 2015
- Организация: МГУ имени М.В. Ломоносова
- Описание: Овремененные высказывания и временные модальности. Разнообразие моделей времени. Временной поток как множество моментов и как множество интервалов, временные отношения на них. Свойства временного потока (линейность, ветвление, бесконечность, дискретность, плотность, полнота, протяженность) и их выразимость в языке классической логики предикатов. Прайоровские системы временной логики. Минимальная система Kt и ее расщирения. Аксиоматизация системы Kt. Модельные структуры Крипке. Теорема о непротиворечивости и полноте системы Kt, проблема разрешимости (выполнимости и общезначимости формул) для системы Kt. Добавочные аксиомы и ограничения отношения временного порядка. Проблема выразимости свойств временного потока в различных языках временной логики. Расширения прайоровского языка временной логики. Сравнение выразительных возможностей языков пропозициональной временной логики и классической логики предикатов первого порядка. Теорема Кампа. Логика линейного времени PLTL, ее язык и семантика. Аналитико-табличная формализация системы PLTL. Логики ветвящегося времени, языки и подходы к построению семантики. Представления ветвящегося времени в оккамовских структурах и структурах Кампа. Структуры с выделенными историями. Аксиоматизации логик ветвящегося времени.
- Добавил в систему: Григорьев Олег Михайлович
Преподавание курса
- 12 февраля 2019 - 14 мая 2019 Григорьев Олег Михайлович
- МГУ имени М.В. Ломоносова, Философский факультет
- обязательная, по выбору (спецкурс), лекции, 34 часов
- Автор: Григорьев О.М.
- 10 февраля 2015 - 19 мая 2015 Григорьев Олег Михайлович
- МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
- обязательная, по выбору (спецкурс), лекции, 32 часов
- Автор: Григорьев О.М.