• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Глава в книге
Topological semantics of the predicate modal calculus QGL extended with non-well-founded proofs

Разумный П. М., Shamkanov D. S.

In bk.: SCAN 2023 Semantical and Computational Aspects of Non-Classical Logics: Moscow + Online, June 13–17, 2023. Abstracts. M.: 2023. P. 64-66.

Препринт
A model of the cubic connectedness locus

Timorin V., Blokh A., Oversteegen L. et al.

math. arXiv. Cornell University, 2023

Наука

Базовая кафедра МИАН сыграла важную роль в организации многочисленных совместных мероприятий, а также в создании и работе двух международных лабораторий: лаборатории алгебраической геометрии и ее приложений, лаборатории зеркальной симметрии и автоморфных форм.

Факультетом математики и его подразделениями совместно с МИАНом было организовано более 25 совместных научных мероприятий: конференций, воркшопов, циклов лекций.

Сотрудники МИАН, привлеченные на работу в НИУ ВШЭ на условиях внешнего совместительства являются руководителями аспирантов Аспирантской школы по математике. Две работы: Эдуард Бальзин (руководитель Д.Б. Каледин) и Артем Авилов (руководитель Ю.Г. Прохоров) успешно защищены в октябре 2016 года. У целого ряда защитившихся аспирантов, МИАН являлся ведущей организацией.

Образование МИАН – студенты факультета имеют право включать курсы НОЦ МИАН в свои индивидуальные учебные планы. На текущий момент такой возможностью воспользовались уже около 50 студентов.

Под руководством сотрудников МИАН, в том числе привлеченных на работу в НИУ ВШЭ на условиях внешнего совместительства, с момента организации кафедры было защищено 7 магистерских выпускных квалификационных работ и 12 курсовых, а также 11 бакалаврских дипломных работ и 29 курсовых.