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

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