Лектор: Сперанский Станислав Олегович (к.ф.-м.н., с.н.с., Математический институт им. В.А. Стеклова РАН, г. Москва)
Даты: Пожалуйста, обратите внимание, что указано время в Новосибирске.
18 ноября 2025 г. (вторник), 16:20-17:55
19 ноября 2025 г. (среда), 16:20-17:55
Аннотация:
В теоретической информатике важную роль играют слабые вероятностные пространства, в которых меры предполагаются конечно-аддитивными, но не обязательно счётно-аддитивными. Пусть L — соответствующий элементарный язык, содержащий переменные по событиям. В рамках мини-курса будет описана инфинитарная — т.е. содержащая правила с бесконечным числом посылок — дедуктивная система для L и доказана её сильная полнота: L-предложение Ф выводимо из множества L-предложений Г в данной системе тогда и только тогда, когда Ф истинно во всех моделях Г. Кроме того, мы кратко обсудим ординальные характеристики такого рода систем.