Оноприенко Анастасия Александровна
- Начала работать в НИУ ВШЭ в 2020 году.
Образование, учёные степени
- 2023Кандидат физико-математических наук
- 2018
Специалитет: Московский государственный университет им. М.В. Ломоносова, специальность «Фундаментальные математика и механика», квалификация «Математик. Механик. Преподаватель»
Достижения и поощрения
Надбавка за публикацию в международном рецензируемом научном издании (2021-2022)
Учебные курсы (2023/2024 уч. год)
- Дискретная математика (Бакалавриат; где читается: Факультет экономических наук; 1-й курс, 1-3 модуль)Рус
- Дискретная математика 2 (Бакалавриат; где читается: Факультет компьютерных наук; 2-й курс, 3, 4 модуль)Рус
- Дифференциальные уравнения (Бакалавриат; где читается: Факультет компьютерных наук; 2-й курс, 3, 4 модуль)Рус
- Математический анализ (углубленный курс) (Бакалавриат; где читается: Факультет компьютерных наук; 1-й курс, 1-4 модуль)Рус
- Архив учебных курсов
Учебные курсы (2022/2023 уч. год)
- Дифференциальные уравнения (Бакалавриат; где читается: Факультет компьютерных наук; 2-й курс, 3, 4 модуль)Рус
- Логика (Майнор; где читается: Факультет математики; 1, 2 модуль)Рус
- Математическая логика (Бакалавриат; где читается: Факультет компьютерных наук; 3-й курс, 1, 2 модуль)Рус
- Математическая логика (Бакалавриат; где читается: Факультет компьютерных наук; 2-й курс, 1, 2 модуль)Рус
- Математический анализ (углубленный курс) (Бакалавриат; где читается: Факультет компьютерных наук; 1-й курс, 1-4 модуль)Рус
Учебные курсы (2021/2022 уч. год)
- Вычислимость и сложность (Майнор; где читается: Факультет математики; 3, 4 модуль)Рус
- Дифференциальные уравнения (Бакалавриат; где читается: Факультет компьютерных наук; 2-й курс, 3, 4 модуль)Рус
- Логика (Майнор; где читается: Факультет математики; 1, 2 модуль)Рус
- Математическая логика (Бакалавриат; где читается: Факультет компьютерных наук; 2-й курс, 1, 2 модуль)Рус
Учебные курсы (2020/2021 уч. год)
- Вычислимость и сложность (Майнор; где читается: Факультет математики; 3, 4 модуль)Рус
- Дискретная математика 2 (Бакалавриат; где читается: Факультет компьютерных наук; 2-й курс, 1, 2 модуль)Рус
- Дискретная математика 2 (углубленный курс) (Бакалавриат; где читается: Факультет компьютерных наук; 2-й курс, 1, 2 модуль)Рус
- Дифференциальные уравнения (Бакалавриат; где читается: Факультет компьютерных наук; 2-й курс, 3, 4 модуль)Рус
- Логика (Майнор; где читается: Факультет математики; 1, 2 модуль)Рус
- Математический анализ (углубленный курс) (Бакалавриат; где читается: Факультет компьютерных наук; 1-й курс, 1-4 модуль)Рус
Публикации7
- Статья Оноприенко А. А. Битопологические модели интуиционистской эпистемической логики // Успехи математических наук. 2024. Т. 79. № 1(475). С. 189-190. doi
- Статья Оноприенко А. А. Об аналогах теорем Эрбрана и Харропа для совместной логики задач и высказываний QHC // Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика). 2023. Т. 514. № 1. С. 123-128. doi
- Статья Оноприенко А. А. Предикатный вариант совместной логики задач и высказываний // Математический сборник. 2022. Т. 213. № 7. С. 97-120. doi
- Статья Оноприенко А. А. Теорема о понижении мощности для логик QHC и QH4 // Алгебра и логика. 2022. Т. 61. № 6. С. 720-741. doi
- Статья Оноприенко А. А. Топологические модели пропозициональной логики задач и высказываний // Вестник Московского университета. Серия 1: Математика. Механика. 2022. № 5. С. 25-30.
- Статья Оноприенко А. А. Семантика типа Крипке для пропозициональной логики задач и высказываний // Математический сборник. 2020. Т. 211. № 5. С. 98-125. doi
- Статья Беклемишев Л. Д., Оноприенко А. А. О некоторых медленно сходящихся системах преобразований термов // Математический сборник. 2015. № 9. С. 3-20. doi
Конференции
- 2021
Двенадцатые Смирновские чтения по логике (Москва). Доклад: Предикатный вариант объединённой логики задач и высказываний
- 2019XXVI Международная научная конференция студентов, аспирантов и молодых ученых "Ломоносов-2019" (Москва). Доклад: Пропозициональная логика задач и высказываний
- Одиннадцатые Смирновские чтения по логике (Москва). Доклад: Объединенная логика задач и высказываний
- Мальцевские чтения (Новосибирск). Доклад: Объединенная логика задач и высказываний
Опыт работы
2012-2016 – преподаватель на малом мехмате МГУ
2016-2021 – руководитель математического кружка при МПГУ
2017-2019 - учитель в ЧОУ «Хорошевская школа»
2019-наст.время – младший научный сотрудник СУНЦ МГУ
2019-наст.время – инженер на кафедре математической логики и теории алгоритмов механико-математического факультета МГУ
2020-наст.время – преподаватель факультета компьютерных наук НИУ ВШЭ
Состоялась 6-я Международная конференция МЛ ЛогЛинФФ «Формальная философия 2023»
С 11 по 13 октября проходила Международная конференция «Формальная философия 2023», организованная Международной лабораторией логики, лингвистики и формальной философии НИУ ВШЭ.
Прошла летняя школа «Логика и формальная философия 2023»
Летняя школа «Логика и формальная философия 2023» проходила с 3 по 7 июля в Кочубей-центре и стала уже 3-й по счету летней школой, которую проводит МЛ ЛогЛинФФ.
Началась летняя школа «Логика и формальная философия 2023»
Прошел первый день летней школы «Логика и формальная философия 2023», в которой принимают участие сотрудники МЛ ЛогЛинФФ и друзья лаборатории.
Не ML единым: в мае прошел традиционный выезд департамента больших данных и информационного поиска ФКН в Вороново
С 12 по 14 мая в учебном центре «Вороново» состоялся семинар по машинному обучению факультета компьютерных наук. Он проводится каждый год для обмена опытом и нетворкинга. Студенты, преподаватели и научные сотрудники ФКН обсудили результаты исследований и новые проекты.
Доклад Анастасии Оноприенко на научно-теоретическом семинаре «Формальная философия»
3 марта состоялось 76-е заседание научно-теоретического семинара "Формальная философия", на котором Анастасия Оноприенко выступила с докладом «Совместная логика задач и высказываний».