Johdatus matemaattiseen päättelyyn ja lukuteoriaan, 5 op

Induktiotodistukset: 1. ja 2. induktioperiaate, rekursiiviset määritelmät.

Todistuksia joukko-opin peruskäsitteille.

Relaatioiden ominaisuudet ja sulkeumat, kuvaukset.

Jaollisuus ja alkuluvut, Aritmetiikan peruslause.

Kongruenssi ja kongruenssiluokat.

Fermat’n pieni lause.