ИСТИНА

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

МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов, аспирант, с 1 октября 2018

МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов, инженер 2-ой категории, с 16 октября 2019

МГУ имени М.В. Ломоносова, Школа-интернат имени А.Н.Колмогорова (СУНЦ МГУ), Кафедра математики (СУНЦ), младший научный сотрудник, с 1 июля 2019, по совместительству

МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов, ответственный по системе

Соавторы: Беклемишев Л.Д., Кузнецов С.Л.

11 статей, 1 книга, 9 докладов на конференциях, 7 тезисов докладов, 4 НИР, 2 научного отчёта, 3 награды, 1 диссертация, 4 учебных курса

Количество цитирований статей в журналах по данным Web of Science: 4, Scopus: 4

IstinaResearcherID (IRID): 146793573

Деятельность

---

• Статьи в журналах

  • • 2022 The predicate version of the joint logic of problems and propositions
    • Onoprienko A.A.
    • в журнале Sbornik Mathematics, издательство London Mathematical Society (United Kingdom), том 213, № 7, с. 981-1003
  • • 2022 Topological Models of Propositional Logic of Problems and Propositions
    • Onoprienko A.A.
    • в журнале Moscow University Mathematics Bulletin, издательство Allerton Press Inc. (United States), том 77, № 5, с. 236-241
  • • 2022 Предикатный вариант совместной логики задач и высказываний
    • Оноприенко А.А.
    • в журнале Математический сборник, издательство МИАН (Москва), том 213, № 7, с. 97-120 DOI
  • • 2022 Топологические модели пропозициональной логики задач и высказываний
    • Оноприенко А.А.
    • в журнале Вестник Московского университета. Серия 1: Математика. Механика, издательство Изд-во Моск. ун-та (М.), № 5, с. 25-30
  • 
    • 2020 Kripke semantics for the logic of problems and propositions
    • Onoprienko A.A.
    • в журнале Sbornik Mathematics, издательство London Mathematical Society (United Kingdom), том 211, № 5, с. 709-732 DOI
  • • 2020 Непрерывность дискретная и обычная
    • Оноприенко Анастасия
    • в журнале Квант, издательство Квант (М.), № 2, с. 38-42 DOI
  • • 2020 Семантика типа Крипке для пропозициональной логики задач и высказываний
    • Оноприенко Анастасия Александровна
    • в журнале Математический сборник, издательство МИАН (Москва), том 211, № 5, с. 98-125 DOI
  • • 2018 Геометрия клетчатой бумаги
    • Оноприенко Анастасия
    • в журнале Квант, издательство Квант (М.), № 11, с. 27-30 DOI
  • 
    • 2015 On some slowly terminating term rewriting systems
    • Beklemishev L.D., Onoprienko A.A.
    • в журнале Sbornik Mathematics, издательство London Mathematical Society (United Kingdom), том 206, № 9, с. 1173-1190 DOI
  • • 2015 О некоторых медленно сходящихся системах преобразований термов
    • Беклемишев Л.Д., Оноприенко А.А.
    • в журнале Математический сборник, издательство МИАН (Москва), том 206, № 9, с. 3-20 DOI

• Статьи в сборниках

  • • 2021 Предикатный вариант объединённой логики задач и высказываний
    • Оноприенко Анастасия Александровна
    • в сборнике Двенадцатые Смирновские чтения: материалы Международной научной конференции, Москва, 24–26 июня 2021 г, место издания «Русское общество истории и философии науки» Москва, с. 40-43

• Книги

  • • 2017 Математический кружок (6-7 классы, 2-е полугодие)
    • Кузнецов С.Л., Оноприенко А.А.
    • издательство Изд-во Моск. ун-та (М.) , 91 с.

• Доклады на конференциях

  • • 2022 On topological models of intuitionistic epistemic logic (Устный)
    • Автор: Оноприенко А.А.
    • Вторая конференция Математических центров России, г. Москва, Россия, 7–11 ноября 2022 г., Россия, 7-11 ноября 2022
  • • 2021 Топологические модели логик HC и H4 (Устный)
    • Автор: Оноприенко А.А.
    • Математические основы информатики и информационно-коммуникационных систем., Тверь., Россия, 3-8 декабря 2021
  • • 2021 Семантика Крипке объединённой логики задач и высказываний (Устный)
    • Автор: Оноприенко А.А.
    • XII Международная научная конференция «Интеллектуальные системы и компьютерные науки», Москва, МГУ имени М.В. Ломоносова, Россия, 29 ноября - 3 декабря 2021
  • • 2021 Предикатный вариант объединённой логики задач и высказываний (Устный)
    • Автор: Оноприенко Анастасия Александровна
    • Двенадцатые Смирновские чтения по логике. Международная научная конференция. 24-26 июня 2021 года, Философский факультет, МГУ имени М. В. Ломоносова, Россия, Россия, 24-26 июня 2021
  • • 2021 A joint logic of problems and propositions (Устный)
    • Автор: Onoprienko A.A.
    • Logical Perspectives 2021: Summer School and Workshop, Математический институт им. В.А. Стеклова РАН, ул. Губкина, д. 8, г. Москва, Россия, 14-19 июня 2021
  • • 2020 Предикатный вариант объединённой логики задач и высказываний (Устный)
    • Автор: Оноприенко Анастасия Александровна
    • Международная научная конференция студентов, аспирантов и молодых учёных «Ломоносов-2020», Москва, Россия, 10-27 ноября 2020
  • • 2019 Объединенная логика задач и высказываний (Устный)
    • Автор: Оноприенко А.А.
    • Мальцевские чтения 2019, Новосибирск, ИМ СО РАН, Россия, 19-23 августа 2019
  • • 2019 Объединенная логика задач и высказываний (Устный)
    • Автор: Оноприенко Анастасия Александровна
    • Одиннадцатые Смирновские чтения по логике. Международная научная конференция. 19-21 июня 2019 года, Философский факультет, МГУ имени М. В. Ломоносова, Россия, 19-21 июня 2019
  • • 2019 Пропозициональная логика задач и высказываний (Устный)
    • Автор: Оноприенко Анастасия Александровна
    • Международная научная конференция студентов, аспирантов и молодых учёных «Ломоносов-2019», Москва, Россия, 11 апреля 2019

• Тезисы докладов

  • • 2021 A joint logic of problems and propositions
    • Onoprienko A.A.
    • в сборнике Logical Perspectives 2021: Summer School and Workshop, тезисы
  • • 2021 Семантика Крипке объединённой логики задач и высказываний
    • Оноприенко А.А.
    • в сборнике Интеллектуальные системы. Теория и приложения (Материалы XII международной конференции "Интеллектуальные системы и компьютерные науки" (29 ноября – 3 декабря 2021 г.)), место издания Изд-во механико-математического ф-та МГУ Москва Москва, том 25, тезисы, с. 333-336
  • • 2021 Топологические модели логик HC и H4
    • Оноприенко А.А.
    • в сборнике Всероссийская научная конференция "Математические основы информатики и информационно-телекоммуникационных систем". Сборник Трудов, издательство Тверской государственный университет (Тверь), тезисы, с. 241-245 DOI
  • • 2020 Предикатный вариант объединённой логики задач и высказываний
    • Оноприенко Анастасия Александровна
    • в сборнике Материалы Международного молодежного научного форума «Ломоносов-2020», издательство ООО "МАКС Пресс" (Москва), тезисы
    • редакторы Алешковский Иван Андреевич, Андриянов Андрей Владимирович, Антипов Евгений Александрович
  • • 2019 Объединенная логика задач и высказываний
    • Оноприенко Анастасия Александровна
    • в сборнике Одиннадцатые Смирновские чтения по логике. Материалы Международной научной конференции. 19-21 июня 2019 года, серия Смирновские чтения по логике, место издания Современные тетради, Москва, тезисы, с. 32-34
  • • 2019 Объединенная логика задач и высказываний
    • Оноприенко А.А.
    • в сборнике Международная конференция "Мальцевские чтения", 19–23 августа 2019 г. Новосибирск, место издания Новосибирский государственный университет Новосибирск, тезисы, с. 77-77
  • • 2019 Пропозициональная логика задач и высказываний
    • Оноприенко А.А.
    • в сборнике Материалы Международного молодежного научного форума «ЛОМОНОСОВ-2019», издательство ООО "МАКС Пресс" (Москва), тезисы
    • редакторы Алешковский Иван Андреевич, Андриянов Андрей Владимирович, Антипов Евгений Александрович

• НИРы

  • • 1 января 2023 - 31 декабря 2027 Разработка системы развития одаренных в области естественных и математических наук старшеклассников
    • Школа-интернат имени А.Н.Колмогорова (СУНЦ МГУ)
    • Руководитель: Ильютко Д.П. Ответственный исполнитель: Довбыш С.А. Участники НИР: Виноградов О.П., Воронин А.К., Дубровский В.Н., Курышова Ю.В., Лобышев В.И., Морозов Н.В., Нараленкова И.И., Натяганов В.Л., Оноприенко А.А., Пивнев Н.С., Сергеев И.Н., Чернавских М.М., Щепин Е.В.
  • • 1 января 2021 - 31 декабря 2025 Алгоритмические и семантические вопросы математической логики. 2021-2025
    • Кафедра математической логики и теории алгоритмов
    • Руководитель: Семенов А.Л. Ответственные исполнители: Золин Е.Е., Оноприенко А.А., Пентус М.Р. Участники НИР: Беклемишев Л.Д., Белов А.Я., Верещагин Н.К., Крупский В.Н., Кузнецов С.Л., Любецкий В.А., Плиско В.Е., Сорокин А.А., Шехтман В.Б., Яворская Т.Л.
  • • 19 ноября 2019 - 23 декабря 2021 Перспективные направления и формы использования компьютерных технологий в школьном курсе математики
    • Школа-интернат имени А.Н.Колмогорова (СУНЦ МГУ)
    • Руководитель: Дубровский В.Н. Участники НИР: Авилов К.К., Булычев В.А., Комаров С.И., Лебедева Н.А., Оноприенко А.А., Пантуев А.В., Усатюк В.В., Чернецкая Т.А.
  • • 1 января 2014 - 31 декабря 2022 Разработка системы развития одаренных в области естественных и математических наук старшеклассников
    • Школа-интернат имени А.Н.Колмогорова (СУНЦ МГУ)
    • Руководители: Вавилов В.В., Ильютко Д.П. Ответственные исполнители: Курышова Ю.В., Селиванова И.Ю., Шивринская Е.В. Участники НИР: Авилов К.К., Бабина Н.Н., Бычков А.И., Виноградов О.П., Воронин А.К., Гашков С.Б., Гвоздкова И.А., Горпынченко К.Д., Гусев А.С., Довбыш С.А., Дубровский В.Н., Ильютко Д.П., Котельников Е.А., Курышова Ю.В., Левин А.А., Лобышев В.И., Могилевский Е.И., Морозов Н.В., Мухачев А., Нараленкова И.И., Натяганов В.Л., Некрасов В.А., Огородников Н.М., Оноприенко А.А., Ошемков А.А., Перадзе А.З., Пивнев Н.С., Плиско В.Е., Пономарев А.А., Попов Л.А., Пухов Д.Н., Савелов М.П., Сальникова Т.В., Свиридова Г.Ф., Селиванова И.Ю., Сергеев И.Н., Тароян Г.В., Тимохин Е.В., Тумайкин И.Н., Фалина И.Н., Чернавских М.М., Шавгулидзе Н.Е., Шивринская Е.В., Щепин Е.В., Янгирова А.В.

• Отчеты

  • • 2021 Перспективные направления и формы использования компьютерных технологий в школьном курсе математики
    • Авторы: Дубровский В.Н., Авилов К.К., Лебедева Н.А., Усатюк В.В., Пантуев А.В., Оноприенко А.А., Чернецкая Т.А., Сгибнев А.И., Кондратьев В.В.
    • #АААА-А20-120101990056-8
  • • 2020 Перспективные направления и формы использования компьютерных технологий в школьном курсе математики
    • Авторы: Дубровский В.Н., Авилов К.К., Лебедева Н.А., Булычев В.А., Пантуев А.В., Оноприенко А.А., Чернецкая Т.А., Сгибнев А.И., Комаров С.И.
    • #АААА-А20-120101990056-8

• Награды и премии

  • • 2022 Премия по Программе развития МГУ
    • Лауреаты: Анциферова А.В., Грибкова А.К., Закускин А.С., Заморина Т.А., Карнаухов В.Е., Оноприенко А.А., Федорина А.А., Чернышев Д.И., Чупахин А.А., Варенцов М.И., Ермолаева М.Б., Королёв В.В., Макарова А.А., Мартыненко Т.С., Фролов В.А., Хвостиков А.В.
    • МГУ им. М.В. Ломоносова, Россия
  • • 2022 Премия по Программе развития МГУ
    • Лауреаты: Анциферова А.В., Заморина Т.А., Карнаухов В.Е., Оноприенко А.А., Чернышев Д.И., Варенцов М.И., Ермолаева М.Б., Королёв В.В., Макарова А.А., Фролов В.А.
    • МГУ им. М.В. Ломоносова, Россия
  • • 2022 Премия по Программе развития МГУ
    • Лауреаты: Анциферова А.В., Заморина Т.А., Карнаухов В.Е., Оноприенко А.А., Чернышев Д.И., Варенцов М.И., Ермолаева М.Б., Макарова А.А., Фролов В.А.
    • МГУ им. М.В. Ломоносова, Россия

• Диссертация

  • • 2022 Совместная логика задач и высказываний
    • Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
    • Автор: Оноприенко А.А., МГУ имени М.В. Ломоносова
    • Научный руководитель: Беклемишев Л.Д., д.ф.-м.н., акад. РАН, МГУ имени М.В. Ломоносова
    • Защищена в совете МГУ.011.4(01.17) МГУ имени М.В. Ломоносова, Механико-математический факультет
    • Организация, в которой выполнялась работа: МГУ имени М.В. Ломоносова
    • Оппоненты: Дудаков С.М., Мелихов С.А., Канович М.И.
    • Объявление о защите

• Авторство учебных курсов

  • • 2022 Математический практикум (11Е класс)
    • Авторы: Довбыш С.А., Оноприенко А.А.

• Преподавание учебных курсов

  • • 1 сентября 2022 - 20 декабря 2022 Введение в математическую логику и теорию алгоритмов
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, базовой части, семинары, 36 часов
  • • 1 сентября 2021 - 20 декабря 2021 Введение в математическую логику и теорию алгоритмов
    • МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
    • обязательная, базовой части, семинары, 36 часов
  • • 1 сентября 2020 - 20 декабря 2020 Введение в математическую логику и теорию алгоритмов
    • МГУ имени М.В. Ломоносова, Механико-математический факультет
    • обязательная, базовой части, семинары, 54 часов

---