добавить в избранное

Специализации в рамках данной программы

  • Вычислительные системы

    Основные направления данной специализации:

    • Высокопроизводительные вычислительные системы;
    • Теория параллельных систем и процессов;
    • Математическое и имитационное моделирование информационно-вычислительных систем и сетей;
    • Распределенные вычислительные системы и алгоритмы, нейронные сети, обработка изображений;
    • Системы офисной автоматизации.


  • Дискретная математика и информатика

    Основные направления данной специализации:

    • Теорию вычислимости и ее приложения;
    • Теорию вычислимых моделей;
    • Проблемы существования вычислимых и разрешимых моделей;
    • Проблемы характеризации моделей различных алгоритмических размерностей;
    • Вычислимые классы моделей;
    • Общую теорию вычислимых нумераций для различных классов иерархий;
    • Проблемы формальных языков и их семантики;
    • Теорию автоматных структур;
    • Проблемы построения гибридных систем на основе определимости;
    • Взаимоотношения различных типов вычислимости над абстрактными структурами;
    • Проблемы построения денотационных семантик;
    • Дискретные модели в генетике;
    • Проблемы обнаружения закономерностей.


  • Программирование

    Основные курсы по этой специализации:

    • Программирование;
    • Базы данных и экспертные системы;
    • Системное и прикладное программное обеспечение;
    • Теория программирования;
    • Информационные системы;
    • Теория вычислений.


  • Теоретическая кибернетика

    Основные курсы по этой специализации:

    • Мат. методы анализа данных;
    • Графы и алгоритмы;
    • Исследование операций;
    • Приближённые алгоритмы;
    • Дискретные задачи принятия решений;
    • Теория помехоустойчивого кодирования;
    • Математические методы защиты информации;
    • Дискретная математика;
    • Методы оптимизации;
    • Теория расписаний;
    • Основы теории информации и криптографии.


  • Алгебра и математическая логика

    Основные курсы по этой специализации:

    • Вычислимые структуры (модели), критерии существования вычислимых представлений структур, число вычислимых представлений, вычислимые булевы алгебры и их обогащения, иерархии в теории вычислимости;
    • Теория групп (группы автоморфизмов, группы кос и их обобщения, линейные группы), теория узлов, обратные задачи математической физики;
    • Строение конечных групп, неабелевы простые группы, группы лиева типа, представления групп, вопросы распознавания группы по ее арифметическим характеристикам.


Поделиться