Александр Герасимов//Бесконечнозначная первопорядковая логика Лукасевича.
1:27:40
Станислав Сперанский//Сильная неразрешимость и первая теорема Гёделя о неполноте
1:30:52
Елена Попова//Логика свидетельств: обзор
1:21:56
Александр Герасимов //Бесконечнозначная первопорядковая логика Лукасевича: ...
1:44:28
Артем Сергеевич Пиманов//овременные модификации онтологических структур времени
1:31:52
Анна Задаля//Сложность логики LTL.
1:16:08
Математика ОГЭ 2025. Задание 9. Уравнения, системы уравнений. Линейные, Квадратные, Рацион.уравнения
1:18:51
Дарья Криницина //Формализация теории ∞-категорий.
1:00:41