|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ПсковГУ |
||
Оноприенко Анастасия Александровна пользователь ответственный
МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов, старший научный сотрудник, с 1 июля 2023
кандидат физико-математических наук с 2022 года
Прежние места работы (Нажмите для отображения)МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов, ответственный по системе
Соавторы: Беклемишев Л.Д., Кузнецов С.Л.
13 статей, 1 книга, 14 докладов на конференциях, 8 тезисов докладов, 4 НИР, 2 научного отчёта, 3 награды, 1 диссертация, 6 учебных курсов
Количество цитирований статей в журналах по данным
Web of Science: 4,
Scopus: 4
IstinaResearcherID (IRID): 146793573
Деятельность
-
Статьи в журналах
-
- 2023 Cardinality Reduction Theorem for Logics QHC and QH4
- Onoprienko A.A.
- в журнале Algebra and Logic, издательство Consultants Bureau (United States), с. 1-15 DOI
-
- 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 Теорема о понижении мощности для логик QHC и QH4
- Оноприенко А.А.
- в журнале Алгебра и логика, издательство Обществ. фонд "Сиб. фонд алгебры и логики" (Новосибирск), том 61, № 6, с. 720-741 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 с.
-
Доклады на конференциях
-
- 2023 Развитие идей Колмогорова в логике задач (Приглашенный)
- Автор: Оноприенко Анастасия Александровна
- Всероссийская научная конференция «Мехмат-90», посвященная 90-летию механико-математического факультета МГУ, Москва, Россия, 7-8 декабря 2023
-
- 2023 Организационные нюансы единого государственного экзамена (Приглашенный)
- Автор: Оноприенко А.А.
- Всероссийский съезд учителей и преподавателей математики, МГУ имени М.В.Ломоносова, Россия, 23-24 ноября 2023
-
- 2023 Перевод интуиционистской эпистемической логики в бимодальную логику доказуемости и уверенности (Устный)
- Автор: Оноприенко А.А.
- Международная конференция «Формальная философия 2023», г. Москва, ул. Старая Басманная, д. 21/4, А-307 + Zoom, Россия, 11-13 октября 2023
-
- 2023 Completeness of the logic HC in a special space (Устный)
- Автор: Onoprienko A.A.
- Semantical and Computational Aspects of Non-Classical Logics 2023 (SCAN 2023), Москва, Математический институт им. В.А. Стеклова Российской академии наук, Россия, 13-17 июня 2023
-
- 2023 Развитие идей Колмогорова об интерпретации интуиционистской логики (Пленарный)
- Авторы: Оноприенко А.А., Шехтман В.Б.
- Международная научная конференция "Колмогоров-120", МГУ, Россия, 25-27 апреля 2023
-
- 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 Предикатный вариант объединённой логики задач и высказываний (Устный)
- Автор: Оноприенко Анастасия Александровна
- XXVII Международная научная конференция студентов, аспирантов и молодых ученых "Ломоносов 2020", Москва, Россия, 20 ноября 2020
-
- 2019 Объединенная логика задач и высказываний (Устный)
- Автор: Оноприенко А.А.
- Мальцевские чтения 2019, Новосибирск, ИМ СО РАН, Россия, 19-23 августа 2019
-
- 2019 Объединенная логика задач и высказываний (Устный)
- Автор: Оноприенко Анастасия Александровна
- Одиннадцатые Смирновские чтения по логике. Международная научная конференция. 19-21 июня 2019 года, Философский факультет, МГУ имени М. В. Ломоносова, Россия, 19-21 июня 2019
-
- 2019 Пропозициональная логика задач и высказываний (Устный)
- Автор: Оноприенко Анастасия Александровна
- Международная научная конференция студентов, аспирантов и молодых учёных «Ломоносов-2019», Москва, Россия, 11 апреля 2019
-
-
Тезисы докладов
-
- 2023 Completeness of the logic HC in a special space
- Onoprienko A.A.
- в сборнике Semantical and Computational Aspects of Non-Classical Logics (SCAN 2023), место издания Moscow, тезисы, с. 49-51
-
-
- 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) МГУ имени М.В. Ломоносова, Механико-математический факультет
- Организация, в которой выполнялась работа: МГУ имени М.В. Ломоносова
- Оппоненты: Дудаков С.М., Мелихов С.А., Канович М.И.
-
-
Авторство учебных курсов
-
Преподавание учебных курсов
-
- 1 сентября 2023 - 20 декабря 2023 Введение в математическую логику и теорию алгоритмов
- МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
- обязательная, базовой части, семинары, 36 часов
-
- 7 февраля 2023 - 31 мая 2023 Математическая логика
- МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
- обязательная, базовой части, семинары, 32 часов
-
- 1 сентября 2022 - 20 декабря 2022 Введение в математическую логику и теорию алгоритмов
- МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
- обязательная, базовой части, семинары, 36 часов
-
- 1 сентября 2021 - 20 декабря 2021 Введение в математическую логику и теорию алгоритмов
- МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
- обязательная, базовой части, семинары, 36 часов
-
- 1 сентября 2020 - 20 декабря 2020 Введение в математическую логику и теорию алгоритмов
- МГУ имени М.В. Ломоносова, Механико-математический факультет
- обязательная, базовой части, семинары, 54 часов
-