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