Заседания семинаров
В. С. Исаков (НГУ)
Реферат статьи: Wesley Calvert, "PAC learning, VC dimension, and the arithmetic hierarchy" (продолжение).
Курсовые работы магистрантов
- К. В. Зимирева
Свойства группы кактусов. - Ж. Ж. Холмонов
Операторы Рота-Бакстера на диэдральных группах.
Предзащиты дипломных работ.
- С. А. Васюткин
Исследование подвижного репера в гидродинамике.
Научный руководитель - А. П. Чупахин - О. А. Ошмарина
Инварианты заузленных графов.
Научный руководитель - А. Ю. Веснин - Б. Б. Чужинов
Локальные представления групп плоских виртуальных кос автоморфизмами свободной группы.
Научный руководитель - А. Ю. Веснин - А. Ф. Гундарева
Коммутирующие операторы в первой алгебре Вейля.
Научный руководитель - А. Е. Миронов - Т. Т. Токтамысов
Построение минимальных моделей Сулливана для компактных однородных односвязных семимерных многообразий Эйнштейна.
Научный руководитель - И. А. Тайманов.
Е. И. Хлестова
Реферат статьи: Robert E. Woodrow, “A Note on Countable Complete Theories Having Three Isomorphism Types of Countable Models” (продолжение).
Владислав Максимович Родионов (НГУ)
О группах, изоспектральных простым симплектическим группам размерности четыре.
Сергей Павлович Одинцов
Уравнения, неподвижные точки, неклассические логики.
Доклад посвящен Сергею Мардаеву (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$ формулы. Центральным направлением исследований С. И. Мардаева, яркого представителя Новосибирской школы неклассических логик, является создание теории определимости неподвижных точек модальных операторов.
В докладе будет дано доступное введение в данную проблематику. Приведено общее определение логики как оператора замыкания на абсолютно свободной алгебре, введено понятие эквивалентной алгебраической семантики, а также семантики Крипке, как представления особого рода для алгебраических моделей. В заключение будут приведены примеры наиболее важных результатов С. И. Мардаева.
М. Ж. Жетписбаев
Принцип пуассонизации для аддитивных функционалов от эмпирических точечных процессов.Аннотация
Рассматривается класс аддитивных функционалов от конечного или счетного набора групповых частот эмпирического точечного процесса, соответствующих не более чем счетному разбиению выборочного пространства. В широких условиях показано, что асимптотическое поведение распределений таких функционалов в точности такое же, как и распределений этих же функционалов от сопровождающего пуассоновского точечного процесса. В качестве следствия рассматриваются задачи нормальной и пуассоновской аппроксимаций распределений статистик "Хи-квадрат" в случае, когда число групп разбиения выборочного пространства возрастает вместе с объемом выборки.Андраник Петоян (реферат)
When is the Student $t$-statistic asymptotically standard normal?Аннотация
В статье "When is the Student $t$-statistic asymptotically standard normal?" авторы Эварист Жине, Фридрих Гётце и Дэвид М. Мейсон исследуют условия, при которых статистика Стьюдента, основанная на выборке случайных величин, является асимптотически стандартным нормальным распределением. Авторы доказывают, что это происходит тогда и только тогда, когда исследуемые случайные величины принадлежат к области притяжения нормального закона.
Идентификатор конференции: 997 4143 0002
Код доступа: 9Ydum4
Яруллина Алина Рашидовна (Караганда, Казахстан)
Робинсоновский спектр семантического йонсоновского квазимногообразия унаров.
В Институте математики СО РАН проходят около 30 семинаров по разным направлениям математики.
На наших семинарах выступают с докладами не только научные сотрудники института, но и приглашенные докладчики со всего мира.
Семинары проводятся как очно, так и на онлайн-платформах: Zoom, Google Meet, YouTube, Jitsi.
