Оноприенко Анастасия Александровна
- Начала работать в НИУ ВШЭ в 2020 году.
- Владение языками
- русский
- английский
- Контакты
- Телефон:
27334 - Адрес: АУК "Покровский бульвар", Покровский б-р, д. 11, каб. S812
Время работы: По расписанию занятий
- SPIN РИНЦ: 4418-4668
- ORCID: 0000-0001-5827-4715
- ResearcherID: AAX-2140-2020
- Scopus AuthorID: 56971162600
- Google Scholar
- Руководитель
- Соколов Е. А.
Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!
Сервис предназначен только для отправки сообщений об орфографических и пунктуационных ошибках.
Oбразование и учёные степени
Достижения и поощрения
- Благодарность факультета компьютерных наук НИУ ВШЭ (июль 2024)
Надбавка за публикацию в международном рецензируемом научном издании (2021–2022)
Учебные курсы (2024/2025 уч. год)
- Дискретная математика 1 (Бакалавриат направление: 01.03.02 Прикладная математика и информатика, 38.03.01 Экономика; 1-й курс, 1, 2 модуль)рус
- Дискретная математика 2 (Бакалавриат; где читается: Факультет экономических наук направление: 01.03.02 Прикладная математика и информатика, 38.03.01 Экономика; 2-й курс, 3, 4 модуль)рус
- Дискретная математика 2 (Бакалавриат; где читается: Факультет компьютерных наук направление: 01.03.02 Прикладная математика и информатика; 2-й курс, 3, 4 модуль)рус
- Дискретная математика: дополнительные главы (Бакалавриат направление: 01.03.02 Прикладная математика и информатика, 38.03.01 Экономика; 1-й курс, 3 модуль)рус
- Дифференциальные уравнения (Бакалавриат; где читается: Факультет компьютерных наук направление: 01.03.02 Прикладная математика и информатика; 2-й курс, 3, 4 модуль)рус
- Математический анализ (углубленный курс) (Бакалавриат; где читается: Факультет компьютерных наук направление: 01.03.02 Прикладная математика и информатика; 1-й курс, 1-4 модуль)рус
- Архив учебных курсов
Учебные курсы (2023/2024 уч. год)
- Дискретная математика (Бакалавриат; где читается: Факультет экономических наук направление: 01.03.02. Прикладная математика и информатика; 1-й курс, 1-3 модуль)рус
- Дискретная математика 2 (Бакалавриат; где читается: Факультет экономических наук направление: 01.03.02. Прикладная математика и информатика; 2-й курс, 3, 4 модуль)рус
- Дискретная математика 2 (Бакалавриат; где читается: Факультет компьютерных наук направление: 01.03.02. Прикладная математика и информатика; 2-й курс, 3, 4 модуль)рус
- Дифференциальные уравнения (Бакалавриат; где читается: Факультет компьютерных наук направление: 01.03.02. Прикладная математика и информатика; 2-й курс, 3, 4 модуль)рус
- Математический анализ (углубленный курс) (Бакалавриат; где читается: Факультет компьютерных наук направление: 01.03.02. Прикладная математика и информатика; 1-й курс, 1-4 модуль)рус
Учебные курсы (2022/2023 уч. год)
- Дифференциальные уравнения (Бакалавриат; где читается: Факультет компьютерных наук направление: 01.03.02. Прикладная математика и информатика; 2-й курс, 3, 4 модуль)рус
- Логика (Майнор; где читается: Факультет математики; 1, 2 модуль)рус
- Математическая логика (Бакалавриат; где читается: Факультет компьютерных наук направление: 01.03.02. Прикладная математика и информатика; 3-й курс, 1, 2 модуль)рус
- Математическая логика (Бакалавриат; где читается: Факультет компьютерных наук направление: 01.03.02. Прикладная математика и информатика; 2-й курс, 1, 2 модуль)рус
- Математический анализ (углубленный курс) (Бакалавриат; где читается: Факультет компьютерных наук направление: 01.03.02. Прикладная математика и информатика; 1-й курс, 1-4 модуль)рус
Учебные курсы (2021/2022 уч. год)
- Дифференциальные уравнения (Бакалавриат; где читается: Факультет компьютерных наук направление: 01.03.02. Прикладная математика и информатика; 2-й курс, 3, 4 модуль)рус
- Математическая логика (Бакалавриат; где читается: Факультет компьютерных наук направление: 01.03.02. Прикладная математика и информатика; 2-й курс, 1, 2 модуль)рус
Учебные курсы (2020/2021 уч. год)
- Вычислимость и сложность (Майнор; где читается: Факультет математики; 3, 4 модуль)рус
- Дискретная математика 2 (Бакалавриат; где читается: Факультет компьютерных наук направление: 01.03.02. Прикладная математика и информатика; 2-й курс, 1, 2 модуль)рус
- Дискретная математика 2 (углубленный курс) (Бакалавриат; где читается: Факультет компьютерных наук направление: 01.03.02. Прикладная математика и информатика; 2-й курс, 1, 2 модуль)рус
- Дифференциальные уравнения (Бакалавриат; где читается: Факультет компьютерных наук направление: 01.03.02. Прикладная математика и информатика; 2-й курс, 3, 4 модуль)рус
- Логика (Майнор; где читается: Факультет математики; 1, 2 модуль)рус
- Математический анализ (углубленный курс) (Бакалавриат; где читается: Факультет компьютерных наук направление: 01.03.02. Прикладная математика и информатика; 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-е заседание научно-теоретического семинара "Формальная философия", на котором Анастасия Оноприенко выступила с докладом «Совместная логика задач и высказываний».