Дар бораи барномаи таълимӣ
Мантиқи математикӣ, алгебра, назарияи ададҳо ва математикаи дискретӣ – бахшҳои математика мебошанд, ки хосиятҳои ададҳои бутун ва ҷамъбасти онҳоро, сохторҳои алгебравӣ, сохтори умумии назарияҳои математикӣ, моделҳои онҳо ва равандҳои алгоритмиро меомӯзанд. Дар алгебра маҷмӯаҳои абстрактӣ бо амалиётҳо ва муносибатҳои ба онҳо додашуда таҳқиқ карда мешаванд. Дар мантиқи математикӣ хосиятҳои синтаксисӣ ва семантикии назарияҳои формализатсияшудаи математикӣ ва хосиятҳои сохтории моделҳои семантикии онҳо омӯхта мешаванд. Дар назарияи ададҳо хосиятҳои арифметикии объектҳои математикӣ омӯхта мешаванд.