Johdatus matemaattiseen päättelyyn ja lukuteoriaan, 5 op

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

Todistuksia joukko-opin peruskäsitteille.

Relaatioiden ominaisuudet.

Kokonaislukujen konstruointi luonnollisista luvuista

Kuvausten ominaisuudet

Mahtavuus

Jaollisuus ja alkuluvut, Aritmetiikan peruslause.

Kongruenssi ja kongruenssiluokat.

Fermat’n pieni lause.