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