Заседания семинаров
М. Э. Иванов
Упорядоченные группы и 3-многообразия, I.
С. В. Агапов (ИМ СО РАН)
Полиномиальные интегралы геодезических потоков и обобщенный метод годографа. II.
Баранов И. В. (НГУ)
Варшавский А. Е. Средний класс: анализ зависимости размера от уровня неравенства доходов (Экономика и математические методы, 2023, том 59, вып. 3)
1. Алексей Попов
Свойства статистики Хмелёва.
Аннотация
В рассматриваемой модели тексты на естественном языке трактуются как реализации некоторых цепей Маркова, где состояниями цепей выступают символы алфавита. Статистика Хмелёва является модификацией дивергенции Кульбака–Лейблера и выступает показателем того, насколько два текста похожи между собой. Рассмотрено поведение статистики в задаче определения подлинности текстов. Также исследовано предельное поведение статистики для двухсимвольного алфавита в случае, когда тексты порождены цепями Маркова с одинаковыми матрицами переходных вероятностей.
2. Александр Тарасенко
Задача оптимального котирования в стохастической модели биржевого стакана.
Аннотация
Наиболее актуальная задача, для которой применимы вероятностные модели биржевого стакана, это нахождение эффективных стратегий торговли. Для формулировки понятия оптимальной стратегии и ее нахождения может быть применима теория стохастического оптимального управления. В докладе будет рассказано о существующих работах, в которых оптимальное управление применяется к биржевому стакану, а также о наших идеях и попытках применения этой теории к модели, сформулированной в бакалаврской работе.Д. М. Анищенко (НГУ)
Кто боится Альфреда Тарского?
Аннотация
В докладе пойдет речь о IF-логике Хинтикки (Independence-Friendly Logic), которая представляет собой обогащение первопорядковой логики за счет введения ветвящихся кванторов по индивидным переменным. В результате выразительные возможности IF-логики оказываются эквивалентными сигма-1-1-фрагменту логики второго порядка. По этой причине IF-логика обходит ограничительную теорему Тарского о невыразимости истинности – один из важнейших негативных результатов для арифметики Пеано. Это очень эффектный пример показывающий как незначительное, казалось бы, изменение языка приводит к важным и интересным последствиям. Семантически IF-логика задается при помощи теоретико-игровой семантики, поэтому в ходе доклада потребуется ввести базовые понятия теории игр.Андрей Гумиров
Язык построения исполнимых спецификаций D0SL (продолжение).
Аннотация
Данный доклад делается в рамках проекта Сигма ЦИИ НГУ.
В Институте математики СО РАН проходят около 30 семинаров по разным направлениям математики.
На наших семинарах выступают с докладами не только научные сотрудники института, но и приглашенные докладчики со всего мира.
Семинары проводятся как очно, так и на онлайн-платформах: Zoom, Google Meet, YouTube, Jitsi.
