Жиындар теориясының элементтері. Декартты көбейтінді. Бейнелеулер.
Бинарлық қатынастар. Фактор-жиын. Комбинаториканың элементтері. Z
сақинасындағы бөлінгіштік қатынасы. ЕҮОБ. Евклид алгоритмі. ЕКОЕ.
Эйлер және Ферма теоремасы. Диофантты теңдеулер. Пікірлер
алгебрасы. Пікірлер алгебрасындағы тавталогиялар. Нормаланған
формалар. КНФ. ДНФ. Теорияны аксиоматикалық түрде құру. Логикалық
салдар. Пікірлердің есептелімі. Предикаттар логикасы. Алгоритм
теорясыны, элементтері. Тьюринг машинасы.