Заседания семинаров
Сергей Павлович Одинцов
Уравнения, неподвижные точки, неклассические логики.
Доклад посвящен Сергею Мардаеву (06.04.1962-10.04.2013).
Аннотация
Неподвижная точка - это решение уравнения вида $p = F(p,q,r,\ldots)$, где $F$ - некоторый оператор, $p$ - переменная, а $q,r,\ldots$ - параметры. Природа как оператора $F$, так и отношения «$=$» могут быть различны. В случае модальных логик, $F$ - пропозициональная формула с модальными операторами, а отношение «$=$» превращается в логическую связку эквивалентности «$\leftrightarrow$». Само же выражение $p \leftrightarrow F(p,q,r,\ldots)$ понимается как теорема некоторой модальной логики или как формула, истинная на некотором классе моделей Крипке. Неподвижная точка называется определимой, если решение модального уравнения выразимо с помощью не зависящей от $p$ формулы. Центральным направлением исследований С. И. Мардаева, яркого представителя Новосибирской школы неклассических логик, является создание теории определимости неподвижных точек модальных операторов.
В докладе будет дано доступное введение в данную проблематику. Приведено общее определение логики как оператора замыкания на абсолютно свободной алгебре, введено понятие эквивалентной алгебраической семантики, а также семантики Крипке, как представления особого рода для алгебраических моделей. В заключение будут приведены примеры наиболее важных результатов С. И. Мардаева.
Д.ф.-м. н. Д. И. Свириденко
Революция ChatGPT (продолжение).
Идентификатор конференции: 997 4143 0002
Код доступа: 9Ydum4
Яруллина Алина Рашидовна (Караганда, Казахстан)
Робинсоновский спектр семантического йонсоновского квазимногообразия унаров.
Исангулова Д. В.
Топологические свойства отображений с конечным искажением на группах Карно.
Аннотация
Доказана открытость и дискретность непрерывного отображения с конечным искажением на группе Карно при условии почти прозрачности и интегрируемости коэффициента искажения.Доронин А. Е.
Поиск и построение криптографических булевых функций с помощью SAT-решателей.
Т. Р. Насыбуллов
Представление групп косовского типа и решения уравнения Янга-Бакстера.
Аннотация
В ходе доклада я расскажу о том, как по специальным решениям теоретико-множественного уравнения Янга-Бакстера можно строить представления групп кос, групп виртуальных кос, групп кос со спайками и других групп косовского типа. Я расскажу об общем методе построения представлений, однако, наибольшее внимание мы уделим конкретным примерам применения этого метода, т. е., используя этот метод, построим конкретные представления некоторых групп косовского типа.К.ф.-м.н. Мищенко Е. В.
Некоторые примеры применения дискретного и интегрального вейвлет-преобразования в прикладных задачах.
-
Бакланов Евгений Анатольевич (доклад)
Метод Линдеберга.Аннотация
В докладе будет представлен детальный обзор метода Линдеберга.
В 1922 г. финский математик Я. В. Линдеберг (1876-1932) опубликовал элегантное доказательство центральной предельной теоремы без использования характеристических функций. Ставший уже классическим метод Линдеберга (как и условие Линдеберга) используется, в частности, для доказательства ЦПТ и оценки скорости сходимости в ЦПТ для зависимых случайных величин, в теории случайных матриц и т. д. -
Александр Тарасенко (реферат)
Статья: Abergel, F., & Jedidi, A. (2015). Long-time behavior of a hawkes process-based limit order book. SIAM Journal on Financial Mathematics, 6(1), 1026-1043.Аннотация
Будет введено определение процессов Хоукса, а также проведён обзор модели биржевого стакана, в которой они применяются. -
Андраник Петоян (реферат)
When is the Student $t$-statistic asymptotically standard normal?Аннотация
В статье "When is the Student $t$-statistic asymptotically standard normal?" авторы Эварист Жине, Фридрих Гётце и Дэвид М. Мейсон исследуют условия, при которых статистика Стьюдента, основанная на выборке случайных величин, является асимптотически стандартным нормальным распределением. Авторы доказывают, что это происходит тогда и только тогда, когда исследуемые случайные величины принадлежат к области притяжения нормального закона.
В Институте математики СО РАН проходят около 30 семинаров по разным направлениям математики.
На наших семинарах выступают с докладами не только научные сотрудники института, но и приглашенные докладчики со всего мира.
Семинары проводятся как очно, так и на онлайн-платформах: Zoom, Google Meet, YouTube, Jitsi.
