KPL	Aihe	Tehtävät	Digi/muuta
1.1	Lauseen formalisointi	1, 2, 3, 5, 8, 10, 12, 18, 19	Tee digitehtäviä kaikista kappaleista
1.2	Lauseen totuusarvot	20, 21, 23, 24, 25, 26, 27, 32	ks. malli totuustaulun tekeminen
1.3	Tautologia	41, 42, 43, 47, ...
1.4	Avoin lause ja kvanttorit	63, 64, 65, 66, 67, 69, 73, 75, 78, 79
2.1	Suora todistus	83, 84, 85, 86, 87, 88, 89, 91, 92, 99
2.2	Vastaesimerkki	104, 106, 107, 108, 109, 111,112
2.3	Epäsuoratodistus	124, 125, 126, 127, 128
2.4	Matemaattinen induktio	144, 145, 46, 147, 148, 149, 151
3.1	Jakolasku	170, 171, 172, 174, 177, 178, 179, 186, 187, 188, 191, 192
3.2	Suurin yhteinen tekijä	194, 195, 196, 198, 207, 211, 212	Tee perusdigitehtävät harjoituksena koetta varten.
3.3	Kongruenssi	216, 217, 218, 220, 221, 222, 223, 226, 227, 228, 230 239, 242
3.4	Alkuluvut	247, 248, 250, 252, 253, 255, 256, 257, 263, 267
3.5	Jaollisuuslauseita	275-279, 282, (288, 291-293)
		Tee sopivasti tehtäviä kaikista kappaleista tietokoneohjelmien avulla, käytä vihkoa hahmotteluun/kokeiluun (Ti-Nspire, Geogebra, math-editori, Writer, Calc)	Huom: Ohjelmien käyttötaito kehittyy kokeilemalla ja "yliolan" oppimalla. Luovuus/kekseliäisyys/ongelmanratkaisu kehittyy.

 1) Laskinohje -- TI Nspire