Logic seminar

City seminar on Mathematical Logic

Понедельник 11.10. А.В. Смаль: "Доказательство нижних оценок на размер формул для булевых функций методами коммуникационной сложности"

Понедельник, 11 октября, Zoom. Начало в 11:00.

Докладчик: А.В. Смаль (ПОМИ РАН).

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

Вторник 30.06. Yuri Gurevich: "What, if anything, can be done in linear time?"

Вторник, 30 июня, Zoom. Начало в 18:30.

Докладчик: Yuri Gurevich (University of Michigan).

Тема: What, if anything, can be done in linear time?

Вторник 23.06. Graham Priest: "Perspectives on the Universe"

Вторник, 23 июня, Zoom. Начало в 18:30.

Докладчик: Graham Priest (Graduate Center, City University of New York).

Тема: Perspectives on the Universe.

Вторник 16.06. Heinrich Wansing: "An Extension of Connexive Logic C"

Вторник, 16 июня, Zoom. Начало в 18:30.

Докладчик: Heinrich Wansing (Ruhr-Universität Bochum).

Тема: An Extension of Connexive Logic C.

Вторник 02.06. В.Я. Крейнович: "Модальная математика и рассуждения в условиях интервальной неопределённости"

Вторник, 2 июня, Zoom. Начало в 18:30.

Докладчик: В.Я. Крейнович (Университет Техаса в Эль-Пасо).

Тема: Модальная математика и рассуждения в условиях интервальной неопределённости.

Вторник 19.05. А.С. Морозов: "О $\Sigma$-определимых структурах в HF(R)"

Вторник, 19 мая, Zoom. Начало в 18:30.

Докладчик: А.С. Морозов (Институт математики им. С.Л. Соболева СО РАН).

Тема: О $ \Sigma $-определимых структурах в HF(R).

Вторник 12.05. Ф.Н. Пахомов: "О полноте трансфинитных итераций схем рефлексии"

Вторник, 12 мая, Zoom. Начало в 18:30.

Докладчик: Ф.Н. Пахомов (Математический институт им. В.А. Стеклова РАН).

Тема: О полноте трансфинитных итераций схем рефлексии.

Вторник 28.04. С.А. Дробышевич: "Системы с явными опровержениями"

Вторник, 28 апреля, Zoom. Начало в 18:30.

Докладчик: С.А. Дробышевич (Институт математики им. С.Л. Соболева СО РАН).

Тема: Системы с явными опровержениями.

Вторник 21.04. Д. Рогозин: "Канонические расширения в логике: основные результаты и примеры использования"

Вторник, 21 апреля, Zoom. Начало в 18:30.

Докладчик: Д. Рогозин (Московский государственный университет им. М.В. Ломоносова).

Тема: Канонические расширения в логике: основные результаты и примеры использования.

Вторник 14.04. С.Л. Кузнецов: "Закон дистрибутивности во фрагментах линейной и аффинной логик"

Вторник, 14 апреля, Zoom. Начало в 18:15.

Докладчик: С.Л. Кузнецов (Математический институт им. В.А. Стеклова РАН).

Тема: Закон дистрибутивности во фрагментах линейной и аффинной логик.

Syndicate content