Семинар лаборатории математической логики (Санкт-Петербург) ПОМИ, наб. р. Фонтанки, д. 27, г. Санкт-Петербург
Семинар лаборатории математической логики (Санкт-Петербург), г. Санкт-Петербург
Поиск полиномиальных зависимостей между значениями знакопеременной дзета-функции и её производных
Ю. В. Матиясевич
19 ноября 2024 г.
г. Санкт-Петербург, ПОМИ, наб. р. Фонтанки, д. 27
Доказательство нижних оценок на размер формул для булевых функций методами коммуникационной сложности
А. В. Смаль
11 октября 2021 г. 11:00
г. Санкт-Петербург, ПОМИ, наб. р. Фонтанки, д. 27
What, if anything, can be done in linear time?
Yu. Gurevich
30 июня 2020 г. 18:30
г. Санкт-Петербург, online
Perspectives on the Universe
G. Priest
23 июня 2020 г. 18:30
г. Санкт-Петербург, online
An Extension of Connexive Logic C
H. Wansing
16 июня 2020 г. 18:30
г. Санкт-Петербург, online
Модальная математика и рассуждения в условиях интервальной неопределённости
В. Я. Крейнович
2 июня 2020 г. 18:30
г. Санкт-Петербург, online
О $\Sigma$ -определимых структурах в $\mathbb{HF} \left( \mathbb{R} \right)$
А. С. Морозов
19 мая 2020 г. 18:30
г. Санкт-Петербург, online
О полноте трансфинитных итераций схем рефлексии
Ф. Н. Пахомов
12 мая 2020 г. 18:30
г. Санкт-Петербург, online
Системы с явными опровержениями
С. А. Дробышевич
28 апреля 2020 г. 18:30
г. Санкт-Петербург, online
Канонические расширения в логике: основные результаты и примеры использования
Д. Д. Рогозин
21 апреля 2020 г. 18:30
г. Санкт-Петербург, online
Закон дистрибутивности во фрагментах линейной и аффинной логик
С. Л. Кузнецов
14 апреля 2020 г. 18:15
г. Санкт-Петербург, online
© , 2026