|
Однодневный семинар по математической логике
(24 июня 2024 г., Покровский бульвар 11, аудитория R205, г. Москва)
На семинаре планируем заслушать несколько коротких докладов, отражающих прикладные аспекты математической логики в Computer Science и смежных науках. Сейчас математическая логика имеет всё больше приложений "в жизни": пруверы (системы автоматических доказательств); лямбда-исчисление, ставшее основой для функционального программирования; изучение естественных языков при помощи исчисления Ламбека; модальные логики используются для представления знаний и многое другое.
 Организации
Факультет компьютерных наук, Национальный исследовательский университет «Высшая школа экономики» |
|
| Однодневный семинар по математической логике, г. Москва, 24 июня 2024 г. |
|
|
24 июня 2024 г. (пн) |
 |
| 1. |
Модели и алгоритмы в науках о жизни
В. А. Любецкий
24 июня 2024 г. 11:30–12:00, г. Москва, Покровский бульвар 11, аудитория R205
|
|
|
|
|
| 2. |
Исчисление Ламбека и синтаксические формальные понятия
С. Л. Кузнецов
24 июня 2024 г. 12:00–12:30, г. Москва, Покровский бульвар 11, аудитория R205
|
|
|
|
|
|
| 3. |
Динамическая эпистемическая логика для агентов с ресурсными ограничениями
В. В. Долгоруков
24 июня 2024 г. 12:30–13:00, г. Москва, Покровский бульвар 11, аудитория R205
|
|
|
|
|
|
| 4. |
Вероятностные алгоритмы поиска сходств и GOFAI
Д. В. Виноградов
24 июня 2024 г. 13:30–14:00, г. Москва, Покровский бульвар 11, аудитория R205
|
|
|
|
|
|
| 5. |
Кодирование проблем укладки домино логическими средствами
Д. А. Серова
24 июня 2024 г. 14:00–14:30, г. Москва, Покровский бульвар 11, аудитория R205
|
|
|
|
|
|
| 6. |
Проверка моделей как средство верификации нейронных сетей
П. П. Соколов
24 июня 2024 г. 14:30–15:00, г. Москва, Покровский бульвар 11, аудитория R205
|
|
|
|
|
|
| 7. |
Алгоритмическая неразрешимость проблемы вложения
А. А. Чиликов, А. Я. Белов
24 июня 2024 г. 16:00–16:30, г. Москва, Покровский бульвар 11, аудитория R205
|
|
|
|
|
|
| 8. |
Базисы импликаций и функциональных зависимостей: взгляд с точки зрения алгебраических решёток
С. О. Кузнецов
24 июня 2024 г. 16:30–17:00, г. Москва, Покровский бульвар 11, аудитория R205
|
|
|
|
|
|
| 9. |
Комбинаторные сложностные функции бесконечных слов. Приложения комбинаторики слов
В. О. Кирова
24 июня 2024 г. 17:00–17:30, г. Москва, Покровский бульвар 11, аудитория R205
|
|
|
|
|
|
|
Обратная связь: