Серова Дарья Александровна

Доклады и лекции в базе данных Math-Net.Ru

1. NP-полнота задачи разбиения множества
   Д. А. Серова, М. Н. Рыбаков
   Семинар Добрушинской лаборатории Высшей школы современной математики МФТИ
   29 апреля 2025 г. 16:15
2. Кодирование проблем укладки домино логическими средствами
   Д. А. Серова
   Однодневный семинар по математической логике
   24 июня 2024 г. 14:00   
3. Использование алгебраических моделей программ для обнаружения метаморфного вредоносного кода
   Д. А. Серова
   Однодневный семинар по математической логике
   29 июня 2023 г. 14:00   
4. Tiling problems and complexity of logics
   Mikhail Rybakov, Darya Serova
   Workshop "Semantical and Computational Aspects of Non-Classical Logics" (SCAN 2023)
   14 июня 2023 г. 15:00