Оноприенко Анастасия Александровна

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

1. NP-полнота игры “Ханаби” при минимальных параметрах
   
   Докл. РАН. Матем., информ., проц. упр., 527 (2025),  206–216
2. Невозможность погружения логики $\operatorname{HC}$ в логику $\operatorname{IEL}^+$ с сохранением классической импликации
   
   УМН, 80:5(485) (2025),  187–188
3. Кафедра математической логики и теории алгоритмов
   
   Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2025, № 1,  23–32
4. Поправка к статье “Об аналогах теорем Эрбрана и Харропа для совместной логики задач и высказываний QHC”
   
   Докл. РАН. Матем., информ., проц. упр., 515 (2024),  124
5. Битопологические модели интуиционистской эпистемической логики
   
   УМН, 79:1(475) (2024),  189–190
6. Об аналогах теорем Эрбрана и Харропа для совместной логики задач и высказываний QHC
   
   Докл. РАН. Матем., информ., проц. упр., 514:1 (2023),  123–128
7. Теорема о понижении мощности для логик ${\mathrm{QHC}}$ и ${\mathrm{QH4}}$
   
   Алгебра и логика, 61:6 (2022),  720–741
8. Предикатный вариант совместной логики задач и высказываний
   
   Матем. сб., 213:7 (2022),  97–120
9. Топологические модели пропозициональной логики задач и высказываний
   
   Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2022, № 5,  25–30
10. Семантика Крипке объединённой логики задач и высказываний
    
    Интеллектуальные системы. Теория и приложения, 25:4 (2021),  333–336
11. Семантика типа Крипке для пропозициональной логики задач и высказываний
    
    Матем. сб., 211:5 (2020),  98–125
12. О некоторых медленно сходящихся системах преобразований термов
    
    Матем. сб., 206:9 (2015),  3–20


13. Исследовательские туры Всесоюзной математической олимпиады
    
    Матем. просв., сер. 3, 34 (2025),  128–145
14. Нужно больше золота!
    
    Квант, 2024, № 11-12,  10–17
15. Непрерывность дискретная и обычная
    
    Квант, 2020, № 2,  38–42
16. Геометрия клетчатой бумаги
    
    Квант, 2018, № 11,  27–30