Семинар С. Л. Кузнецова и С. О. Сперанского "Вероятностные и субструктурные логические системы", г. Москва, 11 февраля–25 декабря 2025 г.
-
Верифицированное вычисление асимптотик вещественных функций
В. А. Нестеров
23 октября 2025 г. 16:00
г. Москва, МИАН, комн. 530 (ул. Губкина, 8)
-
О свойствах звёздной высоты регулярных языков
Ю.Д. Теляковская
9 октября 2025 г. 16:00
г. Москва, МИАН, комн. 530 (ул. Губкина, 8)
-
О (не)разрешимости первопорядковых теорий метрических, векторных и гильбертовых пространств — 4
К. А. Ковалев, Л. В. Дворкин
2 октября 2025 г. 16:00
г. Москва, МИАН, комн. 530 (ул. Губкина, 8)
-
О (не)разрешимости первопорядковых теорий метрических, векторных и гильбертовых пространств — 3
К. А. Ковалев, Л. В. Дворкин
25 сентября 2025 г. 16:00
г. Москва, МИАН, комн. 530 (ул. Губкина, 8)
-
О (не)разрешимости первопорядковых теорий метрических, векторных и гильбертовых пространств — 2
К. А. Ковалев, Л. В. Дворкин
17 сентября 2025 г. 16:00
г. Москва, г. Москва, МИАН, комн. 104
-
О (не)разрешимости первопорядковых теорий метрических, векторных и гильбертовых пространств — 1
К. А. Ковалев, Л. В. Дворкин
11 сентября 2025 г. 16:00
г. Москва, МИАН, комн. 530 (ул. Губкина, 8)
-
Утверждения как сессии
П. П. Соколов
22 апреля 2025 г. 16:00
г. Москва, МИАН, комн. 530 (ул. Губкина, 8)
-
Индексированное исчисление Ламбека с передвижением
С. А. Славнов
15 апреля 2025 г. 16:00
г. Москва, МИАН, комн. 530 (ул. Губкина, 8)
-
Об интерпретациях полей в о-минимальных расширения вещественно замкнутых полей — 2
К. А. Ковалев
8 апреля 2025 г. 16:00
г. Москва, МИАН, комн. 530 (ул. Губкина, 8)
-
Об интерпретациях полей в о-минимальных расширениях вещественно замкнутых полей — 1
К. А. Ковалев
1 апреля 2025 г. 16:00
г. Москва, МИАН, комн. 530 (ул. Губкина, 8)
-
Инфинитарные исчисления для первопорядковой логики вероятности с распределением на носителе и её фрагментов — 2
А. В. Грефенштейн
25 марта 2025 г. 16:00
г. Москва, МИАН, комн. 530 (ул. Губкина, 8)
-
Инфинитарные исчисления для первопорядковой логики вероятности с распределением на носителе и её фрагментов — 1
А. В. Грефенштейн
18 марта 2025 г. 16:00
г. Москва, МИАН, комн. 530 (ул. Губкина, 8)
-
Сюрреальные числа Конвея
Н. В. Лукашов
11 марта 2025 г. 16:00
г. Москва, МИАН, комн. 530 (ул. Губкина, 8)
-
О сложности первопорядковой логики вероятности с распределением на носителе
С. О. Сперанский
4 марта 2025 г. 16:00
г. Москва, МИАН, комн. 530 (ул. Губкина, 8)
-
Исчисление Ламбека с операцией круллева пересечения — 3
С. Л. Кузнецов, Т. Г. Пшеницын
25 февраля 2025 г. 16:00
г. Москва, МИАН, комн. 530 (ул. Губкина, 8)
-
Исчисление Ламбека с операцией круллева пересечения — 2
С. Л. Кузнецов, Т. Г. Пшеницын
18 февраля 2025 г. 16:00
г. Москва, МИАН, комн. 530 (ул. Губкина, 8)
-
Исчисление Ламбека с операцией круллева пересечения — 1
С. Л. Кузнецов, Т. Г. Пшеницын
11 февраля 2025 г. 16:00
г. Москва, МИАН, комн. 530 (ул. Губкина, 8)
© , 2025
|
