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

RUS ENG

Полная версия

ВИДЕОТЕКА

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

Однодневный семинар по математической логике, г. Москва, 24 июня 2024 г.

Модели и алгоритмы в науках о жизни В. А. Любецкий 24 июня 2024 г. 11:30 г. Москва
Исчисление Ламбека и синтаксические формальные понятия С. Л. Кузнецов 24 июня 2024 г. 12:00 г. Москва
Динамическая эпистемическая логика для агентов с ресурсными ограничениями В. В. Долгоруков 24 июня 2024 г. 12:30 г. Москва
Вероятностные алгоритмы поиска сходств и GOFAI Д. В. Виноградов 24 июня 2024 г. 13:30 г. Москва
Кодирование проблем укладки домино логическими средствами Д. А. Серова 24 июня 2024 г. 14:00 г. Москва
Проверка моделей как средство верификации нейронных сетей П. П. Соколов 24 июня 2024 г. 14:30 г. Москва
Алгоритмическая неразрешимость проблемы вложения А. А. Чиликов, А. Я. Белов 24 июня 2024 г. 16:00 г. Москва
Базисы импликаций и функциональных зависимостей: взгляд с точки зрения алгебраических решёток С. О. Кузнецов 24 июня 2024 г. 16:30 г. Москва
Комбинаторные сложностные функции бесконечных слов. Приложения комбинаторики слов В. О. Кирова 24 июня 2024 г. 17:00 г. Москва

© МИАН, 2024