• 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

О подразделении

Целями базовой кафедры являются:

  • обеспечение высокого уровня исследований на факультете математики Национального исследовательского университета Высшая школа экономики по ряду основных направлений современной математики, в том числе, по следующим направлениям: вычислительная сложность, модальная логика, теория доказательств, интегральная геометрия, теория особенностей, маломерная топология, теория узлов, характеристические классы, геометрия пространств модулей, голоморфная динамика, топологическая динамика, эргодическая теория, интегрируемые системы, теория рассеяния;
  • участие в преподавании пула дисциплин факультета математики (как базовых, так и курсов по выбору, ведение спец.курсов и научно-исследовательских семинаров), в частности, участие в преподавании дисциплин "Топология 2", "Логика и алгоритмы", "Комбинаторика инвариантов Васильева", а также в реализации майнора "Математические структуры";
  • подготовка будущих исследователей за счет вовлечения студентов бакалавриата, магистратуры и аспирантов в научные исследования сотрудников кафедры;
  • руководство сотрудниками МИАН курсовыми и выпускными квалификационными работами студентов факультета, научное руководство аспирантами.


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

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