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