Формула специальности:

Специальность «Математическая логика, алгебра и теория чисел» – область науки, исследующая свойства целых чисел, изучающая множества с заданными на них алгебраическими операциями и отношениями; исследующая свойства множеств решений систем алгебраических уравнений; изучающая общее строение математических теорий, их моделей и алгоритмических процессов. Целью алгебры является изучение алгебраических структур, возникающих в математике и ее приложениях. Целью математической логики являются: изучение синтаксических и семантических свойств формализованных математических теорий и структурных свойств их семантических моделей; исследование алгоритмических процессов с заданными свойствами, нахождение взаимосвязей между доказуемостью, истинностью и вычислимостью. Целью теории чисел является исследование арифметических свойств математических объектов.

Области исследований:

Теория алгебраических структур (полугрупп, групп, колец, полей, модулей и т.д.).
Алгебраическая геометрия.
Алгебраическая и аналитическая теории чисел.
Геометрия чисел.
Группы и алгебры Ли.
Теория представлений.
Теория категорий и функторов.
Теория моделей: изучение свойств семантических моделей для математических теорий.
Теория доказательств (в том числе неклассические логики).
Теория алгоритмов и вычислимых функций (в том числе алгоритмическая теория информации и теория сложности).
Аксиоматическая теория множеств и нестандартный анализ.

Смежные специальности:

01.01.01 – Вещественный, комплексный и функциональный анализ (алгебра, логика и теория чисел)
01.01.02 – Дифференциальные уравнения, динамические системы и оптимальное управление (алгебра)
01.01.04 – Геометрия и топология (алгебра и логика)
01.01.09 – Дискретная математика и математическая кибернетика (логика)

Отрасль наук:

физико-математические науки