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