Anna Mikhailovich
- Associate Professor:Independent HSE Departments / Department of Higher Mathematics
- Anna Mikhailovich has been at HSE University since 2011.
Education and Degrees
- 2009
Candidate of Sciences* (PhD) in Discrete Mathematics and Mathematical Cybernetics
Lomonosov Moscow State University - 2008
Doctoral programme
Lomonosov Moscow State University - 2005
Degree in Mathematics
Lomonosov Moscow State University
According to the International Standard Classification of Education (ISCED) 2011, Candidate of Sciences belongs to ISCED level 8 - "doctoral or equivalent", together with PhD, DPhil, D.Lit, D.Sc, LL.D, Doctorate or similar. Candidate of Sciences allows its holders to reach the level of the Associate Professor.

Young Faculty Support Program (Group of Young Academic Professionals)
Category "New Lecturers" (2015)
Category "New Lecturers" (2012-2013)
Courses (2023/2024)
- Discrete Mathematics (Bachelor’s programme; Faculty of Humanities; 1 year, 1-3 module)Rus
- Discrete Mathematics (Bachelor’s programme; Faculty of Social Sciences; 1 year, 1, 2 module)Rus
- Past Courses
Courses (2022/2023)
- Discrete Mathematics (Bachelor’s programme; Faculty of Social Sciences; 1 year, 3 module)Rus
- Discrete Mathematics (Bachelor’s programme; Faculty of Humanities; 1 year, 1, 2 module)Rus
- Elements of Discrete Mathematics (Bachelor’s programme; Faculty of Biology and Biotechnology; 1 year, 3, 4 module)Rus
- Elements of Discrete Mathematics (Bachelor’s programme; Faculty of Biology and Biotechnology; 3 year, 1, 2 module)Rus
Courses (2021/2022)
- Discrete Mathematics (Bachelor’s programme; Faculty of Humanities; 1 year, 1, 2 module)Rus
- Probability Theory and Statistics (Bachelor’s programme; Faculty of Creative Industries; 1 year, 2, 3 module)Rus
Courses (2020/2021)
- Discrete Mathematics (Bachelor’s programme; Faculty of Humanities; 1 year, 1, 2 module)Rus
- Principles of Mathematical Proof (Bachelor’s programme; Faculty of Social Sciences; 2 year, 4 module)Rus
- Probability Theory and Statistics (Bachelor’s programme; Faculty of Creative Industries; 1 year, 2, 3 module)Rus
Courses (2018/2019)
- Discrete Mathematics (Bachelor’s programme; Faculty of Humanities; 1 year, 1, 2 module)Rus
- Discrete Mathematics for Sociologists (Bachelor’s programme; Faculty of Social Sciences; 1 year, 4 module)Rus
Courses (2017/2018)
- Discrete Mathematics (Bachelor’s programme; Faculty of Humanities; 1 year, 1, 2 module)Rus
- Discrete Mathematics for Sociologists (Bachelor’s programme; Faculty of Social Sciences; 1 year, 4 module)Rus
Conferences
- 2019Ломоносовские чтения-2019 (Москва). Presentation: О немонотонной сложности булевых функций
- 6-я Международная школа-семинар "Синтаксис и семантика логических систем" (Ханх). Presentation: Немонотонная сложность логических схем и близкие задачи
- XIII Международный семинар «Дискретная математика и ее приложения» (Москва). Presentation: О сложности систем функций k-значной логики в двух бесконечных базисах
- 201810-я Международная конференция "Дискретные модели в теории управляющих систем" (Красновидово). Presentation: Точное значение немонотонной сложности булевых функций (Пленарный доклад)
- 10-я Международная конференция "Дискретные модели в теории управляющих систем" (Красновидово). Presentation: О сложности функций k-значной логики в бесконечном базисе M U {k-1-x}
- Ежегодная научная конференция «ЛОМОНОСОВСКИЕ ЧТЕНИЯ» (Москва). Presentation: О сложности функций k-значной логики в двух бесконечных базисах
- 2017
XVIII Международная конференция "ПРОБЛЕМЫ ТЕОРЕТИЧЕСКОЙ КИБЕРНЕТИКИ" (Пенза). Presentation: О строении одного замкнутого класса функций трёхзначной логики
- XVIII Международная конференция "ПРОБЛЕМЫ ТЕОРЕТИЧЕСКОЙ КИБЕРНЕТИКИ" (Пенза). Presentation: Немонотонная сложность как обобщение инверсионной сложности (Пленарный доклад)
- XVIII Международная конференция "ПРОБЛЕМЫ ТЕОРЕТИЧЕСКОЙ КИБЕРНЕТИКИ" (Пенза). Presentation: Поведение функции Шеннона сложности функций из $P_k$ в одном бесконечном базисе
- 5-я Российская школа-семинар "Синтаксис и семантика логических систем" (Улан-Удэ). Presentation: Оценки немонотонной сложности логических схем
- 5-я Российская школа-семинар "Синтаксис и семантика логических систем" (Улан-Удэ). Presentation: Об одном фрагменте решётки замкнутых классов функций многозначной логики
- 2015
IX Международная конференция "Дискретные модели в теории управляющих систем" (Москва и пос. Красновидово). Presentation: Критерии базируемости для одного типа семейств замкнутых классов функций многозначной логики
Publications36
- Chapter Кочергин В. В., Михайлович А. В. Нижняя оценка немонотонной сложности функций многозначной логики // В кн.: Материалы XIV Международного семинара "Дискретная математика и ее приложения" имени академика О.Б.Лупанова (Москва, МГУ, 20-25 июня 2022 г.) / Под общ. ред.: В. В. Кочергин. М. : Институт прикладной математики им. М.В. Келдыша РАН, 2022. С. 76-79.
- Chapter Кочергин В. В., Михайлович А. В. О немонотонной сложности функций k-значной логики // В кн.: Проблемы теоретической кибернетики. Материалы заочного семинара XIX международной конференции / Науч. ред.: В. В. Кочергин, С. А. Ложкин, Ф. М. Аблаев. Издательство Казанского (Приволжского) федерального университета, 2021. С. 75-78.
- Article Кочергин В. В., Михайлович А. В. Оценки немонотонной сложности функций многозначной логики // Ученые записки Казанского университета. Серия: Физико-математические науки. 2020. Т. 162. № 3. С. 311-321. doi
- Article V.V. Kochergin, A.V. Mikhailovich. Circuit complexity of k-valued logic functions in one infinite basis / Пер. с рус. // Computational Mathematics and Modeling. 2019. Vol. 30. No. 1. P. 13-25. doi
- Article V.V. Kochergin, A.V. Mikhailovich. Exact Value of the Nonmonotone Complexity of Boolean Functions / Пер. с рус. // Mathematical notes. 2019. Vol. 105. No. 1. P. 28-35. doi
- Chapter Михайлович А. В., Кочергин В. В. О сложности систем функций k-значной логики в двух бесконечных базисах // В кн.: Материалы XIII Международного семинара "Дискретная математика и её приложения" имени академика О.Б. Лупанова / Науч. ред.: В. В. Кочергин, О. Дудакова, М. Ковалёв, Р. Колпаков, Ю. Комбаров, А. Чашкин. Изд-во механико-математического факультета МГУ, 2019. С. 129-131.
- Article Михайлович А. В., Кочергин В. В. Точное значение немонотонной сложности булевых функций // Математические заметки. 2019. Т. 105. № 1. С. 32-41. doi
- Article Kochergin V.V., Mikhailovich A.V. On complexity of multi-valued logic functions over one infinite basis / Пер. с рус. // Journal of Applied and Industrial Mathematics. 2018. Vol. 12. No. 1. P. 40-58. doi
- Article Кочергин В. В., Михайлович А. В. О сложности функций многозначной логики в одном бесконечном базисе // Дискретный анализ и исследование операций. 2018. Т. 25. № 1. С. 42-74. doi
- Article Mikhailovich A.V., Kochergin V.V. Asymptotics of growth for non-monotone complexity of multi-valued logic function systems // Siberian Electronic Mathematical Reports. 2017. Vol. 14. P. 1100-1107. doi
- Article Kochergin Vadim V., Mikhailovich Anna V. The minimum number of negations in circuits for systems of multi-valued functions / Пер. с рус. // Discrete Mathematics and Applications. 2017. Vol. 27. No. 5. P. 295-302. doi
- Article Михайлович А. В., Кочергин В. В. Немонотонная сложность как обобщение инверсионной сложности // XXI век: итоги прошлого и проблемы настоящего плюс. 2017. № 4(38). С. 98-105.
- Chapter Михайлович А. В. О строении одного замкнутого класса функций трехзначной логики // В кн.: Материалы XVIII международной конференции "Проблемы теоретической кибернетики" (Пенза, 19-23 июня 2017 г.). М. : МАКС Пресс, 2017. С. 166-168.
- Chapter Михайлович А. В. Об одном фрагменте решётки замкнутых классов функций многозначной логики // В кн.: Материалы 5-й Российской школы-семинара "Синтаксис и семантика логических систем". Улан-Удэ : Издательство Бурятского госуниверситета, 2017. С. 91-95.
- Chapter Михайлович А. В., Кочергин В. В. Оценки немонотонной сложности логических схем // В кн.: Материалы 5-й Российской школы-семинара "Синтаксис и семантика логических систем". Улан-Удэ : Издательство Бурятского госуниверситета, 2017. С. 48-52.
- Chapter Михайлович А. В., Кочергин В. В. Поведение функции Шеннона сложности функций в одном бесконечном базисе // В кн.: Материалы XVIII международной конференции "Проблемы теоретической кибернетики" (Пенза, 19-23 июня 2017 г.). М. : МАКС Пресс, 2017. С. 142-144.
- Preprint Mikhailovich A. Some Closed Classes of Three-Valued Logic Generated by Periodic Symmetric Functions / Cornell University. Series math "arxiv.org". 2016.
- Chapter Михайлович А. В. О базируемости классов функций трехзначной логики, порожденных периодическими симметрическими функциями // В кн.: Материалы XII Международного семинара "Дискретная математика и её приложения" имени академика О.Б. Лупанова (Москва, МГУ, 20-25 июня 2016г.) / Под общ. ред.: О. М. Касим-Заде. М. : Изд-во механико-математического факультета МГУ, 2016. С. 209-212.
- Article Михайлович А. В., Кочергин В. В. О минимальном числе отрицаний при реализации систем функций многозначной логики // Дискретная математика. 2016. Т. 28. № 4. С. 80-90. doi
- Chapter Михайлович А. В., Кочергин В. В. О немонотонной сложности функций k-значной логики // В кн.: Материалы XII Международного семинара "Дискретная математика и её приложения" имени академика О.Б. Лупанова (Москва, МГУ, 20-25 июня 2016г.) / Под общ. ред.: О. М. Касим-Заде. М. : Изд-во механико-математического факультета МГУ, 2016. С. 142-145.
- Preprint Mikhailovich A. V., Kochergin V. V. Inversion complexity of functions of multi-valued logic / Cornell University. Series math "arxiv.org". 2015.
- Preprint Mikhailovich A. Some Closed Classes of Three-Valued Logic Generated by Symmetric Functions / Cornell University. Series math "arxiv.org". 2015.
- Preprint A.V. Mikhailovich, V. V. Kochergin. Some Extension of Inversion Complexity of Boolean Functions / Cornell University. Series math "arxiv.org". 2015.
- Chapter Михайлович А. В. Критерий базируемости для одного типа семейств замкнутых классов функций многозначной логики // В кн.: Труды IX Международной конференции "Дискретные модели в теории управляющих систем" / Отв. ред.: В. Алексеев, Д. Романов, Б. Данилов. М. : МАКС Пресс, 2015. С. 163-166.
- Article Михайлович А. В. О классах функций трехзначной логики, порожденных симметрическими функциями с ограниченным числом слоев // Прикладная дискретная математика. 2015. № 1. С. 17-26.
- Chapter Михайлович А. В. О некоторых свойствах замкнутых классов, порождённых квазиоднослойными функциями трехзначной логики // В кн.: Материалы X молодежной научной школы по дискретной математике и ее приложениям / Под общ. ред.: А. В. Чашкин. М. : Издательство ИПМ РАН, 2015. С. 51-55.
- Article Кочергин В. В., Михайлович А. В. О сложности схем в базисах, содержащих монотонные элементы с нулевыми весами // Прикладная дискретная математика. 2015. № 4. С. 24-31. doi
- Chapter Михайлович А. В. О функциях из P3, порожденных (1,2)-самодвойсвенными двухслойными симметрическими функциями // В кн.: Проблемы теоретической кибернетики. Материалы XVII международной конференции. Каз. : Отечество, 2014. С. 204-206.
- Chapter Михайлович А. В. О базируемости замкнутых классов функций трехзначной логики, порожденных симметрическими функциями с ограниченным числом слоев // В кн.: Материалы IX молодежной научной школы по дискретной математике и ее приложениям (Москва, 16-21 сентября 2013 г.) / Под общ. ред.: А. В. Чашкин. М. : Издательство ИПМ РАН, 2013. С. 80-85.
- Article Михайлович А. В. О замкнутых классах функций в P_3, порожденных периодическими симметрическими функциями // Вестник Нижегородского университета им. Н.И. Лобачевского. 2013. № 1. С. 208-212.
- Chapter Михайлович А. В. О замкнутых классах функций многозначной логики, порожденных симметрическими функциями // В кн.: Математические вопросы кибернетики Вып. 18. М. : Физматлит, 2013. С. 123-212.
- Article Mikhailovich A. Closed Classes of Three-Valued Logic Generated by Systems Containing Symmetric Functions / Пер. с рус. // Moscow University Mathematics Bulletin. 2012. Vol. 67. No. 1. P. 41-45.
- Article Михайлович А. В. О замкнутых классах трехзначной логики, порожденных системами, содержащими симметрические функции // Вестник Московского университета. Серия 1: Математика. Механика. 2012. № 1. С. 58-62.
- Chapter Михайлович А. В. О порождающих системах некоторых замкнутых классов монотонных функций трехзначной логики // В кн.: Материалы XI Международного семинара «Дискретная математика и её приложения», посвященного 80-летию со дня рождения академика О.Б. Лупанова (Москва, МГУ, 18-23 июня 2012 г.) / Под общ. ред.: О. М. Касим-Заде. М. : Механико-математический факультет МГУ, 2012. С. 204-206.
- Chapter Михайлович А. В. О замкнутых классах функций трехзначной логики, порожденных периодическими симметрическими функциями // В кн.: Проблемы теоретической кибернетики. Материалы XVI Международной конференции (Нижний Новгород, 20–25 июня 2011 г.) / Под общ. ред.: Н. Ю. Золотых. Н. Новгород : Нижегородского госуниверситета, 2011. С. 319-322.
- Chapter Михайлович А. В. О свойствах замкнутых классов в P3, порожденных монотонными симметрическими функциями. // В кн.: Материалы VIII молодежной научной школы по дискретной математике и ее приложениям (Москва, 24–29 октября 2011 г.) / Под общ. ред.: А. В. Чашкин. Ч. II. М. : Механико-математический факультет МГУ, 2011. С. 16-19.