About the training program
Mathematical logic, algebra, number theory, and discrete mathematics are branches of mathematics that study the properties of integers and their generalizations, algebraic structures, the general structure of mathematical theories, their models, and algorithmic processes. In algebra, abstract sets with given operations and relations are studied. In mathematical logic, the syntactic and semantic properties of formalized mathematical theories and the structural properties of their semantic models are studied. In number theory, the arithmetic properties of mathematical objects are investigated.