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