Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Оноприенко Анастасия Александровна

В базах данных Math-Net.Ru
Публикаций: 11
Научных статей: 9
Лекций и докладов: 8

Статистика просмотров:
Эта страница:1025
Страницы публикаций:2878
Полные тексты:2019
Списки литературы:314
кандидат физико-математических наук
Специальность ВАК: 01.01.06 (математическая логика, алгебра и теория чисел)
E-mail:

https://www.mathnet.ru/rus/person111160
Список публикаций на Google Scholar
ИСТИНА https://istina.msu.ru/workers/146793573

Публикации в базе данных Math-Net.Ru Цитирования
2024
1. А. А. Оноприенко, “Поправка к статье “Об аналогах теорем Эрбрана и Харропа для совместной логики задач и высказываний QHC””, Докл. РАН. Матем., информ., проц. упр., 515 (2024),  124  mathnet
2. А. А. Оноприенко, “Битопологические модели интуиционистской эпистемической логики”, УМН, 79:1(475) (2024),  189–190  mathnet  mathscinet  zmath; A. A. Onoprienko, “Bitopological models of intuitionistic epistemic logic”, Russian Math. Surveys, 79:1 (2024), 179–181  isi  scopus
2023
3. А. А. Оноприенко, “Об аналогах теорем Эрбрана и Харропа для совместной логики задач и высказываний QHC”, Докл. РАН. Матем., информ., проц. упр., 514:1 (2023),  123–128  mathnet  elib; A. A. Onoprienko, “On analogues of Herbrand's and Harrop's theorems for the joint logic of problems and propositions QHC”, Dokl. Math., 108:3 (2023), 528–532
2022
4. А. А. Оноприенко, “Теорема о понижении мощности для логик ${\mathrm{QHC}}$ и ${\mathrm{QH4}}$”, Алгебра и логика, 61:6 (2022),  720–741  mathnet
5. А. А. Оноприенко, “Предикатный вариант совместной логики задач и высказываний”, Матем. сб., 213:7 (2022),  97–120  mathnet  mathscinet  zmath; A. A. Onoprienko, “The predicate version of the joint logic of problems and propositions”, Sb. Math., 213:7 (2022), 981–1003  isi  scopus 7
6. А. А. Оноприенко, “Топологические модели пропозициональной логики задач и высказываний”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2022, № 5,  25–30  mathnet  mathscinet  zmath  elib; A. A. Onoprienko, “Topological models of propositional logic of problems and propositions”, Moscow University Mathematics Bulletin, 77:5 (2022), 236–241 5
2021
7. А. А. Оноприенко, “Семантика Крипке объединённой логики задач и высказываний”, Интеллектуальные системы. Теория и приложения, 25:4 (2021),  333–336  mathnet
2020
8. А. А. Оноприенко, “Семантика типа Крипке для пропозициональной логики задач и высказываний”, Матем. сб., 211:5 (2020),  98–125  mathnet  mathscinet  zmath  elib; A. A. Onoprienko, “Kripke semantics for the logic of problems and propositions”, Sb. Math., 211:5 (2020), 709–732  isi  scopus 7
2015
9. Л. Д. Беклемишев, А. А. Оноприенко, “О некоторых медленно сходящихся системах преобразований термов”, Матем. сб., 206:9 (2015),  3–20  mathnet  mathscinet  zmath  elib; L. D. Beklemishev, A. A. Onoprienko, “On some slowly terminating term rewriting systems”, Sb. Math., 206:9 (2015), 1173–1190  isi  elib  scopus 4

2020
10. А. Оноприенко, “Непрерывность дискретная и обычная”, Квант, 2020, № 2,  38–42  mathnet
2018
11. А. Оноприенко, “Геометрия клетчатой бумаги”, Квант, 2018, № 11,  27–30  mathnet

Доклады и лекции в базе данных Math-Net.Ru
1. О логиках задач
В. Б. Шехтман, А. А. Оноприенко
Семинар по многомерному комплексному анализу (Семинар Витушкина)
20 марта 2024 г. 16:45
2. От интуиционистской логики к логике задач
Анастасия Оноприенко
Математический семинар ФКН ВШЭ
15 марта 2024 г. 18:10   
3. Приветственное слово
А. А. Оноприенко, А. Л. Семёнов
Однодневный семинар по математической логике
29 июня 2023 г. 11:15   
4. Completeness of the logic HC in a special space
Anastasiia Onoprienko
Workshop "Semantical and Computational Aspects of Non-Classical Logics" (SCAN 2023)
15 июня 2023 г. 15:00   
5. On topological models of intuitionistic epistemic logic
А. А. Оноприенко
Вторая конференция Математических центров России. Секция «Математическая логика и теоретическая информатика»
7 ноября 2022 г. 17:00   
6. О топологических моделях логик HC и H4
А. А. Оноприенко
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
21 февраля 2022 г. 18:30   
7. A joint logic of problems and propositions
A. A. Onoprienko
Logical Perspectives 2021: Summer School and Workshop
17 июня 2021 г. 11:00   
8. Предикатный вариант совместной логики задач и высказываний
А. А. Оноприенко
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
16 марта 2020 г. 18:30   

Организации
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024