|
Seminar of the Laboratory of Mathematical Logic (Saint Petersburg)
St. Petersburg Department of Steklov Mathematical Institute, 27 Fontanka, Saint Petersburg
|
| Seminar of the Laboratory of Mathematical Logic (Saint Petersburg), Saint Petersburg |
|
|
November 19, 2024 (Tue) |
 |
| 1. |
Поиск полиномиальных зависимостей между значениями знакопеременной дзета-функции и её производных
Yu. V. Matiyasevich
November 19, 2024, Saint Petersburg, St. Petersburg Department of Steklov Mathematical Institute, 27 Fontanka
|
|
|
|
|
|
October 11, 2021 (Mon) |
|
| 2. |
Доказательство нижних оценок на размер формул для булевых функций методами коммуникационной сложности
A. V. Smal
October 11, 2021 11:00, Saint Petersburg, St. Petersburg Department of Steklov Mathematical Institute, 27 Fontanka
|
|
|
|
|
|
|
June 30, 2020 (Tue) |
|
| 3. |
What, if anything, can be done in linear time?
Yu. Gurevich
June 30, 2020 18:30, Saint Petersburg, online
|
|
|
|
|
|
|
June 23, 2020 (Tue) |
|
| 4. |
Perspectives on the Universe
G. Priest
June 23, 2020 18:30, Saint Petersburg, online
|
|
|
|
|
|
|
June 16, 2020 (Tue) |
|
| 5. |
An Extension of Connexive Logic C
H. Wansing
June 16, 2020 18:30, Saint Petersburg, online
|
|
|
|
|
|
|
June 2, 2020 (Tue) |
|
| 6. |
Модальная математика и рассуждения в условиях интервальной неопределённости
V. Ya. Kreinovich
June 2, 2020 18:30, Saint Petersburg, online
|
|
|
|
|
|
|
May 19, 2020 (Tue) |
|
| 7. |
О $\Sigma$-определимых структурах в $\mathbb{HF} \left( \mathbb{R} \right)$
A. S. Morozov
May 19, 2020 18:30, Saint Petersburg, online
|
|
|
|
|
|
|
May 12, 2020 (Tue) |
|
| 8. |
О полноте трансфинитных итераций схем рефлексии
F. N. Pakhomov
May 12, 2020 18:30, Saint Petersburg, online
|
|
|
|
|
|
|
April 28, 2020 (Tue) |
|
| 9. |
Системы с явными опровержениями
S. A. Drobyshevich
April 28, 2020 18:30, Saint Petersburg, online
|
|
|
|
|
|
|
April 21, 2020 (Tue) |
|
| 10. |
Канонические расширения в логике: основные результаты и примеры использования
D. Rogozin
April 21, 2020 18:30, Saint Petersburg, online
|
|
|
|
|
|
|
April 14, 2020 (Tue) |
|
| 11. |
Закон дистрибутивности во фрагментах линейной и аффинной логик
S. L. Kuznetsov
April 14, 2020 18:15, Saint Petersburg, online
|
|
|
|
|
|
|
Announcement
Seminar organizer
Contact us: