#матлог #учёба #спецкурс

В этом семестре В.Б.Шехтман прочитает спецкурс "Временные логики”".

Первая лекция: 13 февраля

Место проведения: МГУ, 2 гум. корп., ауд. 424

Время проведения: четверг, 16:45 - 18:05

Страница спецкурса в базе мехмата: https://scs.math.msu.ru/ru/node/6979

Аннотация.
Временные логики составляют класс модальных логик, в которых модальности интерпретируются как временные связки (“всегда будет”, “было вчера” и др.). Эти логики часто оказываются разрешимыми и успешно применяются в компьютерных науках. В курсе дается введение в эту обширную область. Рассматриваются различные логики дискретного, непрерывного и ветвящегося времени. Доказываются результаты об аксиоматизируемости, разрешимости и определимости.

Пререквизиты: основной курс "Введение в математическую логику и теорию алгоритмов".

🔗 Временные логики | Спецкурсы и спецсеминары механико-математического факультета МГУ


➰ ВК