Семинары ПОМИ
Г. И. Синкевич, Мнение Г.И. Синкевич по поводу сравнения двух книг
Г. А. Кутеева, Формирование уникальной коллекции механизмов кабинета практической механики. Применение современных технологий для сохранения памяти об этой коллекции
Ю. В. Матиясевич, Мартин Дейвис и 10-я проблема Гильберта
Вторник 11.11. А.В. Пастор: "О вершинах степени 6 C_3-критических минимальных 6-связных графов"
Вторник, 11 ноября, Zoom. Начало в 15:00.
Докладчик: А.В. Пастор (ПОМИ).
Тема: О вершинах степени 6 C_3-критических минимальных 6-связных графов.Abstract Будет доказано, что в C_3-критическом минимальном 6-связном графе любая
вершина степени 6 смежна как минимум с двумя вершинами степени 6. Также
будет рассказано о некоторых других свойствах таких графов.
Вторник 11.11. Я.В. Благушин: "О некоторых свойствах суммы Полиа-Виноградова"
Вторник, 11 ноября, Zoom. Начало в 14:00.
Докладчик: Я.В. Благушин (ПОМИ).
Тема: О некоторых свойствах суммы Полиа-Виноградова.Abstract В докладе будут рассмотрены некоторые свойства суммы
Полиа-Виноградова, появляющейся в различных задачах теории чисел.
Особое внимание будет уделено её оценкам и асимптотическим свойствам.
Будет также отмечено, что невзаимнопростота параметров суммы является
важным частным случаем, о котором нам на сегодняшний день известно
чуть больше, чем о других случаях. В докладе автор также кратко
расскажет о некоторых других своих исследованиях, вышедших в этом
году.
Ал. В. Булинский, Статистические оценки условных информационных характеристик
Е. Вл. Булинская, Плотность популяции внутри фронта в каталитическом ветвящемся случайном блуждании
Вторник 28.10. В.П. Оревков: "Слабая форма свойства подформульности секвенциальных доказательств с сечениями."
Вторник, 28 октября, Zoom. Начало в 14:00.
Докладчик: В.П. Оревков (ПОМИ).
Тема: Слабая форма свойства подформульности секвенциальных доказательств с сечениями..Abstract В докладе будут сформулированы условия, когда правила, которые
применяются в доказательствах с сечениями, не будут применяться
после устранения сечений. Будет также доказана индукцией по глубине
формул теорема об устранимости сечений в классическом исчислении
предикатов.
С. Е. Никитин, О минимальной интегральной энергии мажорант винеровского процесса
Вторник 28.10. Н.Н. Воробьев: "Теоремы о разбиениях для семейств полу-Пфаффовых множеств"
Вторник, 28 октября, Zoom. Начало в 15:00.
Докладчик: Н.Н. Воробьев (ПОМИ).
Тема: Теоремы о разбиениях для семейств полу-Пфаффовых множеств.Abstract Будет рассказано об обобщениях теорем о полиномиальных разбиениях Гута-Каца на множества, задаваемые как многочленами, так и трансцендентными функциями. Эти теоремы применяются для доказательства обобщений теорем типа Семереди-Троттера о верхних оценках на число инцеденций, а также для верхней оценки на число джоинтов Пфаффовых кривых.

