Mathematical Logic and Discrete Mathematics at PDMI

Четверг, 24 сентября, Zoom. Начало в 14:00.

Докладчик: Д.М. Ицыксон (ПОМИ).

Тема: Strong ETH Holds for Bounded-Depth Resolution over Parities.

Четверг, 10 сентября, zoom. Начало в 14:00.

Докладчик: Ю.В. Матиясевич (ПОМИ).

Тема: Some numerical observations on number-theoretical properties of the theta functions of Dirichlet characters..

Четверг, 10 сентября, zoom. Начало в 15:00.

Докладчик: И.Н. Пономаренко (ПОМИ).

Тема: Нижняя оценка на  размерность Вейсфейлера-Лемана для циркулянтных графов..

Вторник, 11 ноября, Zoom. Начало в 15:00.

Докладчик: А.В. Пастор (ПОМИ).

Тема: О вершинах степени 6 C_3-критических минимальных 6-связных графов.

Вторник, 11 ноября, Zoom. Начало в 14:00.

Докладчик: Я.В. Благушин (ПОМИ).

Тема: О некоторых свойствах суммы Полиа-Виноградова.

Вторник, 28 октября, Zoom. Начало в 14:00.

Докладчик: В.П. Оревков (ПОМИ).

Тема: Слабая форма свойства подформульности секвенциальных доказательств с сечениями..

Вторник, 28 октября, Zoom. Начало в 15:00.

Докладчик: Н.Н. Воробьев (ПОМИ).

Тема: Теоремы о разбиениях для семейств полу-Пфаффовых множеств.

Вторник, 14 октября, Zoom. Начало в 14:00.

Докладчик: С.И. Николенко (ПОМИ).

Тема: Улучшения и приложения больших языковых моделей.

Вторник, 14 октября, Zoom. Начало в 15:00.

Докладчик: Д.В. Карпов (ПОМИ).

Тема: Удаление деревьев из n-связного графа с сохранением связности.

Вторник, 7 октября, zoom. Начало в 14:00.

Докладчик: Ю.В. Матиясевич (ПОМИ).

Тема: Dirichlet L-functions, lower gamma-function, and Touchard polynomials.