5 октября д.ф.-м.н. С.П.Одинцов начинает чтение годового спецкурса "Введение в неклассические логики", объявленный на кафедре алгебры и математической логики.

Курс будет читаться по пятницам в 16:20 в 4204 ауд. нового учебного корпуса НГУ.

В курсе рассматриваются конструктивные и модальные логики, их реляционная и алгебраическая семантики. Различные типы исчислений для данных логик: табличные, секвенциальные, Гильбертовского типа, исчисления естественного вывода. Рассматриваются различные методы доказательства разрешимости неклассических логик.