Однодневный семинар по математической логике
(June 24, 2024)

, June 24, 2024
	June 24, 2024 (Mon)
1.	Модели и алгоритмы в науках о жизни V. A. Lyubetskii June 24, 2024 11:30–12:00
2.	Исчисление Ламбека и синтаксические формальные понятия S. L. Kuznetsov June 24, 2024 12:00–12:30
3.	Динамическая эпистемическая логика для агентов с ресурсными ограничениями V. V. Dolgorukov June 24, 2024 12:30–13:00
4.	Вероятностные алгоритмы поиска сходств и GOFAI D. V. Vinogradov June 24, 2024 13:30–14:00
5.	Кодирование проблем укладки домино логическими средствами D. A. Serova June 24, 2024 14:00–14:30
6.	Проверка моделей как средство верификации нейронных сетей P. P. Sokolov June 24, 2024 14:30–15:00
7.	Алгоритмическая неразрешимость проблемы вложения A. A. Chilikov, A. Ya. Belov June 24, 2024 16:00–16:30
8.	Базисы импликаций и функциональных зависимостей: взгляд с точки зрения алгебраических решёток S. O. Kuznetsov June 24, 2024 16:30–17:00
9.	Комбинаторные сложностные функции бесконечных слов. Приложения комбинаторики слов V. O. Kirova June 24, 2024 17:00–17:30