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