#матлог #учёба #миникурсы

На следующей неделе С.Л. Кузнецов и С.О. Сперанский (МИАН) в рамках своего визита в Новосибирский университет прочтут мини-курсы.

Лекции пройдут очно в НГУ, возможно также подключение онлайн. Для получения ссылки нужно зарегистрироваться на соответствующий мини-курс на странице https://sites.google.com/view/mca-logic/

На той же странице размещены аннотации курсов, а после их завершения будут опубликованы видеозаписи и файлы презентаций.

Расписание лекций
ВНИМАНИЕ! Время везде указано новосибирское, т.е. +4 часа от московского, GMT+7.

В рамках мини-курса С.Л. Кузнецова «Бесконечные доказательства для неклассических логик» запланировано три лекции:
(1) 17 ноября 2025 г. (понедельник), 16:20-17:55
(2) 20 ноября 2025 г. (четверг), 16:20-17:55
(3) 21 ноября 2025 г. (пятница), 16:20-17:55

В рамках мини-курса С.О. Сперанского «Аксиоматизация теории слабых вероятностных пространств» запланировано две лекции:
(1) 18 ноября 2025 г. (вторник), 16:20-17:55
(2) 19 ноября 2025 г. (среда), 16:20-17:55

➰ ВК