26 декабря состоится последнее заседание научного семинара в 2018 году.
Тематика семинара не предполагает глубоких знаний в математической логике, приглашаются все заинтересованные студенты.

Доклад Рыбакова Владимира Владимировича (кафедра алгебры и математической логики ИМФИ СФУ) - «Введение в модальные логики».

Аннотация доклада:
На семинаре будут рассмотрены начала модальных логик с момента зарождения раздела науки, основные определения, теоремы и стоящие перед исследователями задачи.

Основные понятия: модальная логика, правила вывода, допустимость, разрешимость, аксиоматизация, унификация