Однодневный семинар по математической логике (June 29, 2023)
|
, June 29, 2023 |
|
|
June 29, 2023 (Thu) |
|
1. |
Приветственное слово A. A. Onoprienko, A. L. Semenov June 29, 2023 11:15–11:30
|
|
|
|
|
2. |
О приложениях эпистемической логики в компьютерных науках V. V. Dolgorukov June 29, 2023 11:30–12:00
|
|
|
|
|
3. |
Используется ли математическая логика в современной компьютерной лингвистике? A. A. Sorokin June 29, 2023 12:00–12:30
|
|
|
|
|
4. |
Генерация доказательств математических теорем с помощью языковых моделей Yu. N. Yarovikov June 29, 2023 12:30–13:00
|
|
|
|
|
5. |
Пространственный интеллект беспилотного автомобиля и принятие решений на основе правил S. P. Kikot' June 29, 2023 13:30–14:00
|
|
|
|
|
6. |
Использование алгебраических моделей программ для обнаружения метаморфного вредоносного кода D. A. Serova June 29, 2023 14:00–14:30
|
|
|
|
|
7. |
О теориях подмножеств некоторых алгебр B. N. Karlov June 29, 2023 14:30–15:00
|
|
|
|
|
8. |
Формальная верификация на Arend P. P. Sokolov June 29, 2023 16:00–16:30
|
|
|
|
|
9. |
Базовые категориальные грамматики с однозначным присвоением типов и одним делением M. E. Vishnikin June 29, 2023 16:30–17:00
|
|
|
|
|
10. |
Графовые грамматики T. G. Pshenitsyn June 29, 2023 17:00–17:30
|
|
|
|
|
|