Заседания семинаров
М. Н. Рыбаков (Тверь, Москва)
Логики для описания вычислений: синтаксис, семантика, сложность.
Аннотация
Доклад посвящён логикам, предназначенным для формального описания свойств вычислительных процессов, – прежде всего динамическим пропозициональным логикам (PDL, DPDL, IPDL и др.), а также таким темпоральным логикам как LTL (linear-time temporal logic), CTL (computation tree logic) и ATL (alternating-time temporal logic). Будут даны синтаксические и семантические описания этих логик, и особое внимание будет уделено сложности проблемы разрешения: будут приведены оценки сложности как для логик в полном языке, так и для различных их фрагментов (в том числе с ограниченным числом переменных). При этом предполагается обсудить не только разрешимые, но и неразрешимые проблемы, а также идеи, лежащие в основе сложностных оценок. Все необходимые определения будут даны.Yandex Telemost
В. Н. Желябин и А. С. Мамонтов
Примитивные идеалы йордановых банаховых алгебр.
Идентификатор конференции: 314 114 3903
Код доступа: 009
Малышев Сергей Борисович
Свойство замены для замыканий, порождённых тернарными изолирующими формулами (продолжение).
Zoom
Идентификатор конференции: 912 824 7824
Код доступа: 31415926
Поликанова Ирина Викторовна (АлтГПУ)
Обобщенные Йенсена-Коши функциональные уравнение от функций многих переменных.
Аннотация
В докладе рассматриваются решения функциональных уравнений напоминающих одновременно уравнения Йенсена и Коши. Особенность этих уравнений состоит в том, что неизвестные функции зависят от нескольких переменных. Поскольку функциональные уравнения содержат произвольный гомеоморфизм, они допускают бесконечное количество следствий. В докладе будут представлены некоторые наиболее интересные из них. Например, функциональное уравнение Гаусса, а также другие.Федосеев Михаил Вячеславович
Ранги транзитивных матриц.
Т. В. Васильев
О графах, не содержащих независимых циклов (реферат работы László Lovász, On graphs containing no independent circuits, Mat. Lapok, V. 16 (1965) 289–299).
А. Л. Искра
Конечные порядки произведений двух транспозиций классов делят 840.
Н. С. Аркашов
Число различных значений в большой выборке зависимых наблюдений из бесконечного дискретного распределения, сформированных на основе фрактального гауссовского шума.
Аннотация
Исследуется скорость роста числа различных значений в выборках, полученных из стационарной последовательности зависимых наблюдений с бесконечным дискретным распределением. Анализ данного поведения для выборок, сформированных из последовательности независимых одинаково распределенных случайных величин, является хорошо изученной задачей. В настоящей работе математическое ожидание числа различных значений в независимом случае сравнивается с аналогичной характеристикой для зависимых наблюдений. Устанавливается связь между оценкой этих математических ожиданий и задачей оценивания многомерных нормальных распределений. Кроме того, обсуждается применение рассматриваемых стационарных последовательностей к моделированию текстов на естественном языке.
В Институте математики СО РАН проходят около 30 семинаров по разным направлениям математики.
На наших семинарах выступают с докладами не только научные сотрудники института, но и приглашенные докладчики со всего мира.
Семинары проводятся как очно, так и на онлайн-платформах: Zoom, Google Meet, YouTube, Jitsi.
