Оноприенко Анастасия Александровна
- Начала работать в НИУ ВШЭ в 2020 году.
Образование
2018
Специалитет: Московский государственный университет им. М.В. Ломоносова, специальность «Фундаментальные математика и механика», квалификация «Математик. Механик. Преподаватель»
Учебные курсы (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
Конференции
- 2019XXVI Международная научная конференция студентов, аспирантов и молодых ученых "Ломоносов-2019" (Москва). Доклад: Пропозициональная логика задач и высказываний
- Одиннадцатые Смирновские чтения по логике (Москва). Доклад: Объединенная логика задач и высказываний
- Мальцевские чтения (Новосибирск). Доклад: Объединенная логика задач и высказываний
