Матклуб

Читаем Современная модальная логика: между математикой и информатикой, И.Б. Шапировский, В.Б. Шехтман

Думаю, стоит нам немного отдохнуть от философии и заняться чем-то более приземлённым. Предлагаю прочитать обзор современного состояния исследований в модальной логике от крупных специалистов в ней. По-хорошему, конечно, надо было бы эту статью читать до книги Хеллмана, но как уж получилось. Зато теперь чтение будет мотивированное!

Прочитать статью к пятнице, 9 августа. Встречаемся на нашем дискорд-сервере в 19:00 по Москве.

Статья в первом комменте.
Сервер: https://discord.gg/Pa4az2e7MC

www.tgoop.com/club_math/30

1.3K viewsAug 5 at 09:10

Читаем Современная модальная логика: между математикой и информатикой, И.Б. Шапировский, В.Б. Шехтман

Думаю, стоит нам немного отдохнуть от философии и заняться чем-то более приземлённым. Предлагаю прочитать обзор современного состояния исследований в модальной логике от крупных специалистов в ней. По-хорошему, конечно, надо было бы эту статью читать до книги Хеллмана, но как уж получилось. Зато теперь чтение будет мотивированное!

Прочитать статью к пятнице, 9 августа. Встречаемся на нашем дискорд-сервере в 19:00 по Москве.

Статья в первом комменте.
Сервер: https://discord.gg/Pa4az2e7MC

BY Матклуб