Матклуб

Начинаем чтение Modal Logic, Chagrov A., Zakharyaschev M.

Модальной логике уже более века, если считать с первого определения с помощью исчислений Кларенсом Льюсом. Сегодня это богатая область, результаты которой применяются от философии до компьютерных наук. В этой книге Чагров и Захарьящев исследуют расширения пропозициональной унимодальной классической логики K и интуиционистской логики Гейтинга Int. По уровню изложения теории книга находится примерно между вводными текстами и передовыми исследованиями.

Встречаемся на нашем дискорд-сервере в воскресение, 8 декабря, 19:00 по Москве, прочитать Preface.

Книга в первом комменте.
Сервер: https://discord.gg/Pa4az2e7MC

www.group-telegram.com/us/club_math.com/38

1.2K viewsDec 2 at 11:07

Начинаем чтение Modal Logic, Chagrov A., Zakharyaschev M.

Модальной логике уже более века, если считать с первого определения с помощью исчислений Кларенсом Льюсом. Сегодня это богатая область, результаты которой применяются от философии до компьютерных наук. В этой книге Чагров и Захарьящев исследуют расширения пропозициональной унимодальной классической логики K и интуиционистской логики Гейтинга Int. По уровню изложения теории книга находится примерно между вводными текстами и передовыми исследованиями.

Встречаемся на нашем дискорд-сервере в воскресение, 8 декабря, 19:00 по Москве, прочитать Preface.

Книга в первом комменте.
Сервер: https://discord.gg/Pa4az2e7MC

BY Матклуб