Kurssilla perehdytään lukuteoriaan ja logiikkaan sekä opetellaan erilaisia menetelmiä todistamiseen.

Kurssin tunneilta tulee tutusti läksyä kotiin ja jokainen tekee ne parhaan taitonsa mukaan.

Suoritus vaatii läsnäoloa ja aktiivisuutta tunneilla, kotitehtävien tekemistä, sekä kurssikokeen tai välikokeiden läpäisyä. Mikäli kurssin voi suorittaa välikokein, molemmat välikokeet pitää läpäistä erikseen eli ensimmäisen välikokeen pisteillä ei voi suorittaa koko kurssia. Kurssiarvosanan lähtökohta tulee koearvosanasta, jota tarkistetaan aktiivisuuden, tehtyjen tehtävien ja yleisen asennoitumisen mukaan korkeintaan +/- 1,25 arvosanaa.