Заседания семинаров
В. Д. Шепелев
Сильная $\pi$-теорема Силова для групп $PSL_{2}(q)$.
Е. И. Хлестова
Реферат статьи:
R. E. Woodrow
Theories with a Finite Number of Countable Models (продолжение).
С. В. Агапов (ИМ СО РАН)
Полиномиальные интегралы геодезических потоков и обобщенный метод годографа. II.
Баранов И. В. (НГУ)
Варшавский А. Е. Средний класс: анализ зависимости размера от уровня неравенства доходов (Экономика и математические методы, 2023, том 59, вып. 3)
Любанова А. Ш. (Сибирский федеральный университет, Красноярск)
Обратные и нелокальные задачи для уравнений и систем диффузии и фильтрации (по материалам докторской диссертации).
Аннотация
Исследуется корректность некоторых новых коэффициентных обратных задач для уравнений соболевского типа и ассоциированных с ними задач для уравнений эллиптического и параболического типа. Исследуются свойства решений некоторых из обратных задач для уравнений соболевского типа (устойчивость, гладкость, асимптотическое поведение). Постановки коэффициентных обратных задач для линейных уравнений эллиптического и соболевского типа и результаты, полученные для них, обобщаются на случай нелинейных уравнений фильтрации. Методы решения обратных задач для эволюционных уравнений применяются для исследования нелокальных краевых задач для систем нагруженных уравнений параболического и соболевского типа, в которых условия по времени заданы только для одной из неизвестных функций. Устанавливаются достаточные условия глобальной однозначной разрешимости таких задач.М. Э. Иванов
Упорядоченные группы и 3-многообразия, I.
Д. М. Анищенко (НГУ)
Кто боится Альфреда Тарского?
Аннотация
В докладе пойдет речь о IF-логике Хинтикки (Independence-Friendly Logic), которая представляет собой обогащение первопорядковой логики за счет введения ветвящихся кванторов по индивидным переменным. В результате выразительные возможности IF-логики оказываются эквивалентными сигма-1-1-фрагменту логики второго порядка. По этой причине IF-логика обходит ограничительную теорему Тарского о невыразимости истинности – один из важнейших негативных результатов для арифметики Пеано. Это очень эффектный пример показывающий как незначительное, казалось бы, изменение языка приводит к важным и интересным последствиям. Семантически IF-логика задается при помощи теоретико-игровой семантики, поэтому в ходе доклада потребуется ввести базовые понятия теории игр.1. Алексей Попов
Свойства статистики Хмелёва.
Аннотация
В рассматриваемой модели тексты на естественном языке трактуются как реализации некоторых цепей Маркова, где состояниями цепей выступают символы алфавита. Статистика Хмелёва является модификацией дивергенции Кульбака–Лейблера и выступает показателем того, насколько два текста похожи между собой. Рассмотрено поведение статистики в задаче определения подлинности текстов. Также исследовано предельное поведение статистики для двухсимвольного алфавита в случае, когда тексты порождены цепями Маркова с одинаковыми матрицами переходных вероятностей.
2. Александр Тарасенко
Задача оптимального котирования в стохастической модели биржевого стакана.