Висвітлено теорію множин, алгебру висловлень і предикатів, елементи комбінаторики, рекурсивні функції, машини Тьюринга. Розглянуто частково рекурсивні та примітивно рекурсивні функції, а також рекурсивно перераховані множини. Наведено критерії оборотності, тотожної істинності та хибності. Розкрито основний принцип комбінаторики, основні комбінаторні поняття, залежності між операціями. Запропоновано формули алгебри висловлювань.