莫斯科国立师范大学

数学逻辑、代数、数论和离散数学是研究整数及其泛化的性质、代数结构、数学理论的总体结构、模型和算法过程的数学分支。在代数中,研究的是具有给定运算和关系的抽象集合。 在数学逻辑中研究形式化的数学理论的句法和语义性质及其语义模型的结构性质。在数论中研究数学对象的算术性质。