Laboratory of Mathematical Logic - Logic seminar

Пятница 21.01. Д. М. Ицыксон: "Нижние оценки и вопросы оптимальности для систем доказательств"

seminars — Mon, 17 Jan 2022 11:11:35 +0000

Пятница, 21 января, Zoom. Начало в 13:00.

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

Тема: Нижние оценки и вопросы оптимальности для систем доказательств.

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

seminars — Thu, 07 Oct 2021 13:25:04 +0000

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

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

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

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

seminars — Tue, 16 Jun 2020 17:54:19 +0000

Вторник, 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"

seminars — Tue, 16 Jun 2020 17:44:34 +0000

Вторник, 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"

seminars — Wed, 10 Jun 2020 06:55:20 +0000

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

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

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

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

seminars — Tue, 02 Jun 2020 20:56:50 +0000

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

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

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

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

seminars — Wed, 13 May 2020 04:42:46 +0000

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

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

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

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

seminars — Wed, 06 May 2020 18:13:40 +0000

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

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

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

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

seminars — Tue, 21 Apr 2020 17:29:51 +0000

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

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

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

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

seminars — Tue, 14 Apr 2020 17:20:23 +0000

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

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

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