Lause- ja predikaattilogiikan alkeita, induktio ja rekursio, joukko-opin alkeita, relaatioiden perusominaisuudet, ekvivalenssi- ja järjestysrelaatiot, kuvausten perusominaisuudet, bijektiot, mahtavuus (numeroituvat ja ylinumeroituvat joukot), peruskäsitteitä kombinatoriikasta, rekurssiyhtälöistä, automaateista ja muodollisista kielistä. Tätä oppimateriaalia ja sen edeltäviä versioita on käytetty mm. Tampereen yliopiston matematiikan opetuksessa.