JetBrains Research — наука, меняющая мир

Семинар по булевым алгебрам

Мы рассмотрим некоторые понятия, возникающие в курсах алгебры (кольца и идеалы), теории решеток, математической логики (теории и формулы), теориях меры и вероятностей (вероятность, событие). Далее покажем, какая между этими понятиями из разных областей математики имеется связь, и как эта связь проявляет себя в теоремах (т. Стоуна, т. Лебега-Каратеодори, т. о спектре, т. компактности и аксиома выбора). Для этого нам понадобится понятие булевой алгебры. В каком-то смысле, булевы алгебры играют роль категорий для рассматриваемых понятий.

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

Для понимания доклада не требуется никаких особых знаний, выходящих за рамки первого-второго курсов университета, за исключением определения категории.

Докладчик: Кирилл Смирнов

18.02.2019, 17:15.

Место: ауд. 3248, мат-мех. факультет СПбГУ, Старый Петергоф, Университетский пр-т, д. 28