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.
![](/images/traits/tp.png)
Young Faculty Support Programme (Group of Young Academic Professionals)
Category "New Lecturers" (2015)
Category "New Lecturers" (2012-2013)
Courses (2023/2024)
- 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-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
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: Критерии базируемости для одного типа семейств замкнутых классов функций многозначной логики
Publications37
- Article Kochergin V., Mikhailovich A. Improvement of Nonmonotone Complexity Estimates of k-Valued Logic Functions / Пер. с рус. // Mathematical notes. 2023. Vol. 113. No. 5. P. 794-803. doi
- 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.