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

Персоналии

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)


2024
1.	М. Н. Рыбаков, Д. А. Серова, “Неразрешимые фрагменты расширений предикатной логики Гёделя–Дамметта”, Международная конференция Мальцевские чтения, Тезисы докладов (Новосибирск, Институт математики им. С. Л. Соболева СО РАН, 11–15 ноября 2024 года.), Новосибирск, 2024, 45 http://old.math.nsc.ru/conference/malmeet/24/Sbornik/Malcev_Meeting_2024.pdf

2023
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

Организации