Адрес e-mail:

Временная модальная логика (А.В. Кудинов, осень 2017)

Лектор — доц. А.В. Кудинов

Модальная временная логика активно развивающаяся сейчас область математической логики с большим количеством приложений в информатике и даже в лингвистике. Модальная логика (точнее пропозициональная модальная логика) это булева логика с одним или несколькими модальными операторами. Этим операторам можно придавать различный смысл, в том числе связанный со временем («верно в следующий момент времени», «верно всегда в будущем», «верно всегда в прошлом» и т.п.), в этом случае можно говорить о временной модальной логике.
Никаких предварительных знаний про модальную логику не предполагается, тогда как знание логики высказываний будет крайне полезно. В курсе будут изложены основные методы и теоремы модальной логики, которые затем будут применены к различным временным моделям.
На базе этого курса планируется во втором полугодии прочитать другой курс, больше посвященный приложениям модальной логики.

Спецкурс проходит по четвергам в 15:30 в ауд. 516ГК. Первое занятие — 28 сентября.

Если вы заметили в тексте ошибку, выделите её и нажмите Ctrl+Enter.

МФТИ в социальных сетях

soc-vk soc-fb soc-tw soc-li soc-li soc-yt
Яндекс.Метрика