• 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