#матлог #учёба #спецсеминар #не_мехмат #МИАН

Математический институт им. В.А.Стеклова РАН

Общеинститутский семинар по математике и её приложениям (https://www.mathnet.ru/conf142)

Семинар состоится в четверг 18 декабря 2025 года в 16 часов в
МИАН, ул. Губкина, 8, в конференц-зале на 9-м этаже,
а также Онлайн, в сервисе Kontur Talk.

Кандидат физ.-матем. наук С. О. Сперанский

"Вычислительные аспекты элементарных теорий классов вероятностных пространств"

Аннотация:

Доклад будет посвящён алгоритмическим вопросам для элементарных теорий различных классов вероятностных пространств (конечных, дискретных, произвольных, безатомных). При этом будут рассмотрены как теории в односортном языке с переменными по событиям, так и теории в двухсортном языке, дополнительно содержащем переменные по вещественным числам. Кроме того, внимание будет уделено «слабым» пространствам, в которых меры подразумеваются конечно-аддитивными, но не обязательно счётно-аддитивными; такого рода пространства используются в семантике многих вероятностных логических систем, возникающих в теоретической информатике. Стоит отметить, что хотя основное внимание будет сосредоточено на языках, близких к традиционно изучаемым элементарным языкам полей и решёток, у практически всех сопутствующих результатов имеются естественные аналоги для так называемых «первопорядковых логик вероятности», которые возникли в работах Дж. Хальперна и чьи варианты продолжают активно изучаться (например, группой З. Огняновича в Белграде).

➰ ВК