Оноприенко Анастасия Александровна
- Начала работать в НИУ ВШЭ в 2020 году.
Oбразование и учёные степени
Достижения и поощрения
- Благодарность факультета компьютерных наук НИУ ВШЭ (июль 2024)
Надбавка за публикацию в международном рецензируемом научном издании (2021–2022)
Учебные курсы (2024/2025 уч. год)
- Дискретная математика (Бакалавриат; где читается: Факультет экономических наук; 1-й курс, 1-3 модуль)рус
- Дискретная математика (Маго-лего; 2 модуль)рус
- Дискретная математика (Магистратура; 1-й курс, 2 модуль)рус
- Дискретная математика 1 (Бакалавриат; 1-й курс, 1, 2 модуль)рус
- Дискретная математика 2 (Бакалавриат; где читается: Факультет экономических наук; 2-й курс, 3, 4 модуль)рус
- Дискретная математика 2 (Бакалавриат; где читается: Факультет компьютерных наук; 2-й курс, 3, 4 модуль)рус
- Дискретная математика: дополнительные главы (Бакалавриат; 1-й курс, 3 модуль)рус
- Дифференциальные уравнения (Бакалавриат; где читается: Факультет компьютерных наук; 2-й курс, 3, 4 модуль)рус
- Математический анализ (углубленный курс) (Бакалавриат; где читается: Факультет компьютерных наук; 1-й курс, 1-4 модуль)рус
- Архив учебных курсов
Учебные курсы (2023/2024 уч. год)
- Дискретная математика (Бакалавриат; где читается: Факультет экономических наук; 1-й курс, 1-3 модуль)рус
- Дискретная математика 2 (Бакалавриат; где читается: Факультет экономических наук; 2-й курс, 3, 4 модуль)рус
- Дискретная математика 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 уч. год)
- Дифференциальные уравнения (Бакалавриат; где читается: Факультет компьютерных наук; 2-й курс, 3, 4 модуль)рус
- Математическая логика (Бакалавриат; где читается: Факультет компьютерных наук; 2-й курс, 1, 2 модуль)рус
Учебные курсы (2020/2021 уч. год)
- Вычислимость и сложность (Майнор; где читается: Факультет математики; 3, 4 модуль)рус
- Дискретная математика 2 (Бакалавриат; где читается: Факультет компьютерных наук; 2-й курс, 1, 2 модуль)рус
- Дискретная математика 2 (углубленный курс) (Бакалавриат; где читается: Факультет компьютерных наук; 2-й курс, 1, 2 модуль)рус
- Дифференциальные уравнения (Бакалавриат; где читается: Факультет компьютерных наук; 2-й курс, 3, 4 модуль)рус
- Логика (Майнор; где читается: Факультет математики; 1, 2 модуль)рус
- Математический анализ (углубленный курс) (Бакалавриат; где читается: Факультет компьютерных наук; 1-й курс, 1-4 модуль)рус
Конференции
- 2021
Двенадцатые Смирновские чтения по логике (Москва). Доклад: Предикатный вариант объединённой логики задач и высказываний
- 2019
XXVI Международная научная конференция студентов, аспирантов и молодых ученых "Ломоносов-2019" (Москва). Доклад: Пропозициональная логика задач и высказываний
Одиннадцатые Смирновские чтения по логике (Москва). Доклад: Объединенная логика задач и высказываний
Мальцевские чтения (Новосибирск). Доклад: Объединенная логика задач и высказываний
Опыт работы
2012-2016 – преподаватель на малом мехмате МГУ
2016-2021 – руководитель математического кружка при МПГУ
2017-2019 - учитель в ЧОУ «Хорошевская школа»
2019-2023 – младший научный сотрудник СУНЦ МГУ
2019-2022 – инженер на кафедре математической логики и теории алгоритмов механико-математического факультета МГУ
2021-наст.время - руководитель кружков Малого мехмата МГУ
2022-наст.время - старший научный сотрудник на кафедре математической логики и теории алгоритмов механико-математического факультета МГУ
2020-наст.время – преподаватель факультета компьютерных наук НИУ ВШЭ
Bringing Maths and Philosophy Together: Russian-Brazilian Project Explores Logical Pluralism
In late October and early November, HSE University hosted the Autumn School on ‘Logic and Formal Philosophy’ and a conference on logical pluralism as part of a collaborative project uniting Russian and Brazilian philosopher-logicians and mathematician-logicians. The project’s leaders and participants, Elena Dragalina-Chernaya, Itala Loffredo D'Ottaviano, Marcelo Esteban Coniglio, and Evandro Luis Gomes, shared their insights about the initiative.
ФКН и Университет Иннополис провели совместный летний интенсив для школьников
18–25 августа факультет компьютерных наук и Университет Иннополис провели первый совместный летний интенсив «Август. Математика. Информатика» для учащихся 8–11 классов.
Состоялась 6-я Международная конференция МЛ ЛогЛинФФ «Формальная философия 2023»
С 11 по 13 октября проходила Международная конференция «Формальная философия 2023», организованная Международной лабораторией логики, лингвистики и формальной философии НИУ ВШЭ.
Прошла летняя школа «Логика и формальная философия 2023»
Летняя школа «Логика и формальная философия 2023» проходила с 3 по 7 июля в Кочубей-центре и стала уже 3-й по счету летней школой, которую проводит МЛ ЛогЛинФФ.
Началась летняя школа «Логика и формальная философия 2023»
Прошел первый день летней школы «Логика и формальная философия 2023», в которой принимают участие сотрудники МЛ ЛогЛинФФ и друзья лаборатории.
Не ML единым: в мае прошел традиционный выезд департамента больших данных и информационного поиска ФКН в Вороново
С 12 по 14 мая в учебном центре «Вороново» состоялся семинар по машинному обучению факультета компьютерных наук. Он проводится каждый год для обмена опытом и нетворкинга. Студенты, преподаватели и научные сотрудники ФКН обсудили результаты исследований и новые проекты.
Доклад Анастасии Оноприенко на научно-теоретическом семинаре «Формальная философия»
3 марта состоялось 76-е заседание научно-теоретического семинара "Формальная философия", на котором Анастасия Оноприенко выступила с докладом «Совместная логика задач и высказываний».