Видеотека: Архив докладов 2025

ВИДЕОТЕКА

Архив докладов

Семинар С. Л. Кузнецова и С. О. Сперанского "Вероятностные и субструктурные логические системы", г. Москва, 11 февраля–22 апреля 2025 г.

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