Адрес e-mail:

Модальная логика и приложения (А.В. Кудинов, весна 2016)

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

Спецкурс проходит по вторникам с 16:00 до 18:00 в ауд. Стенфорд ШАД.

Анонс

В курсе будут рассказаны основные методы современной модальной логики и будут освящены некоторые приложения модальной логики, в том числе - временная логика и верификация программ - дескрипционная логика и семантик веб.

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

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

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