Оноприенко Анастасия Александровна
- Начала работать в НИУ ВШЭ в 2020 году.
Образование
Специалитет: Московский государственный университет им. М.В. Ломоносова, специальность «Фундаментальные математика и механика», квалификация «Математик. Механик. Преподаватель»
Достижения и поощрения
Надбавка за публикацию в международном рецензируемом научном издании (2021-2022)
Учебные курсы (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 модуль)Рус
Публикации2
- Статья Оноприенко А. А. Семантика типа Крипке для пропозициональной логики задач и высказываний // Математический сборник. 2020. Т. 211. № 5. С. 98-125. doi
- Статья Беклемишев Л. Д., Оноприенко А. А. О некоторых медленно сходящихся системах преобразований термов // Математический сборник. 2015. № 9. С. 3-20. doi
Конференции
- 2021
Двенадцатые Смирновские чтения по логике (Москва). Доклад: Предикатный вариант объединённой логики задач и высказываний
- 2019XXVI Международная научная конференция студентов, аспирантов и молодых ученых "Ломоносов-2019" (Москва). Доклад: Пропозициональная логика задач и высказываний
- Одиннадцатые Смирновские чтения по логике (Москва). Доклад: Объединенная логика задач и высказываний
- Мальцевские чтения (Новосибирск). Доклад: Объединенная логика задач и высказываний
Опыт работы
2012-2016 – преподаватель на малом мехмате МГУ
2016-2021 – руководитель математического кружка при МПГУ
2017-2019 - учитель в ЧОУ «Хорошевская школа»
2019-наст.время – младший научный сотрудник СУНЦ МГУ
2019-наст.время – инженер на кафедре математической логики и теории алгоритмов механико-математического факультета МГУ
2020-наст.время – преподаватель факультета компьютерных наук НИУ ВШЭ