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