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

Персоналии

RUS ENG

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

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

В базах данных
в zbMATH:	1 (1)

Ключевые слова:

Теория замощений

Основные темы научной работы

Неклассические логики

Список публикаций:

научные публикации

		Цитирования (Crossref Cited-By Service + Math-Net.Ru)

1.	М. Н. Рыбаков, Д. А. Серова, “Неразрешимые фрагменты расширений предикатной логики Гёделя–Дамметта”, Международная конференция Мальцевские чтения, Тезисы докладов (Новосибирск, Институт математики им. С. Л. Соболева СО РАН, 11–15 ноября 2024 года.), Новосибирск, 2024, 45 http://old.math.nsc.ru/conference/malmeet/24/Sbornik/Malcev_Meeting_2024.pdf
2.	M. Rybakov, D. Serova, “Tiling problems and complexity of logics”, SCAN 2023 Semantical and Computational Aspects of Non-Classical Logics (Moscow + Online, June 13–17, 2023), Steklov International Mathematical Center, Moscow,, 2023, 70–72 https://scan2023.mi-ras.ru/abstracts.pdf
3.	M. Rybakov, D. Serova, Tiling problems and complexity of logics (extended version), 2023 (Published online) , 7 pp. pp., arXiv: 2306.13736

Доклады и лекции в базе данных 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

Организации