О программе обучения
Математическая логика, алгебра, теория чисел и дискретная математика – разделы математики, изучающие свойства целых чисел и их обобщений, алгебраические структуры, общее строение математических теорий, их моделей и алгоритмических процессов. В алгебре исследуются абстрактные множества с заданными на них операциями и отношениями. В математической логике изучаются синтаксические и семантические свойства формализованных математических теорий и структурные свойства их семантических моделей.В теории чисел исследуются арифметические свойства математических объектов.