Sivukartta Sulje MAA11S Lukuteoria ja todistaminen 1.1 Jaollisuus ja jakoyhtälö 1.2 Alkuluvut 1.3 Eukleideen algoritmi ja kokonaislukuyhtälöt Pakolliset tehtävät 2.1 Kongruenssi 2.2 Jaollisuustarkasteluja kongruenssin avulla 3.1 Looginen päättely ja konnektiivit 3.2 Totuustaulut 4.1 Väitteen todistaminen oikeaksi tai vääräksi 4.2 Suora ja epäsuora todistus
