Alustava aikataulu
| aihe | tehtävät | |
| 2.4. | Lauseen formalisointi | |
| 6.4. | Lauseen totuusarvot | |
| 7.4. | Tautologia | |
| 9.4. | tehtäviä+digitehtäviä | |
| 13.4. | --Pääsiäinen-- | |
| 14.4 | Avoin lause ja kvanttorit | |
| 16.4. | TESTI1 | |
| 20.4. | Suora todistus | |
| 21.4. | Vastaesimerkki | |
| 23.4. | Epäsuora todistus | |
| 27.4. | Matemaattinen induktio | |
| 28.4. | Matemaattinen induktio | |
| 30.4. | TESTI2 | |
| 4.5. | Jakolasku | |
| 5.5. | Suurin yhteinen tekijä | |
| 7.5. | Diofantoksen yhtälö | |
| 11.5. | Kongruenssi | |
| 12.5. | Kongruenssi | |
| 14.5. | Alkuluvut | |
| 18.5. | Jaollisuuslauseita | |
| 19.5. | Kertausta | |
| koeviikko | ||
| 20.5. | Koe klo 8.45 Koe alkaa sanomaprossa: - monivalinta ('TESTI 3') - pakollisia tehtäviä Koe jatkuu pedanetissa: - vaihtoehtoiset tehtävät |