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

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

Статистика просмотров:
Эта страница:361
Страницы публикаций:1076
Полные тексты:450
Списки литературы:72
Специальность ВАК: 01.01.06 (математическая логика, алгебра и теория чисел)
E-mail:

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

Публикации в базе данных Math-Net.Ru
2020
1. А. А. Оноприенко, “Семантика типа Крипке для пропозициональной логики задач и высказываний”, Матем. сб., 211:5 (2020),  98–125  mathnet  mathscinet  elib; A. A. Onoprienko, “Kripke semantics for the logic of problems and propositions”, Sb. Math., 211:5 (2020), 709–732  isi  scopus
2015
2. Л. Д. Беклемишев, А. А. Оноприенко, “О некоторых медленно сходящихся системах преобразований термов”, Матем. сб., 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

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

Доклады и лекции в базе данных Math-Net.Ru
1. A joint logic of problems and propositions
A. A. Onoprienko
Logical Perspectives 2021: Summer School and Workshop
17 июня 2021 г. 11:00   
2. Предикатный вариант совместной логики задач и высказываний
А. А. Оноприенко
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
16 марта 2020 г. 18:30   

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