Teoriat alla ja tehtävät aina kustakin kappaleesta löytyvät Moodlesta. 11.8. 1. kpl Peruskäsitteitä ja 2. kpl Yhdiste, leikkaus ja erotus 14.8. 2. kpl Yhdiste, leikkaus ja erotus ja 3. kpl Tulojoukko 16.8. Logiikan 1 ja 2 kpl:t. Huom! Moodlen tehtäviä voisi myös tehdä. 18.8. kpl 3 Yhdistetyn lauseen totuusarvot 21.8. kpl 4 Tautologia 23.8. Predikaattilogiikkaa 25.8. Todistusmenetelmiä: yleistä ja suora todistus 28.8. Vastaesimerkin käyttö 30.8. Epäsuora todistus 26.8. Predikaattilogiikka 1.9. Induktiotodistus 4.9. Induktiotodistus 6.9. Lukuteoriaa: luvut 1 ja 2 8.9. Kokonaislukujen jaollisuus 11.9. Jakoyhtälö, myös oman henk tunnuksen tarkistus sekä luku 5 luettu! 13.9. Eukleideen algoritmi 15.9. Diofantoksen yhtälö 18.9. Kongruenssi 20.9. Kertausta (Salakirjoitusmenetelmiä) Kongruenssit ja kongruenssiyhtälöt 174-178, 180-184, 185-187 ja voi katsoa YO-tehtäviä läpi. Esim. S11/13, K11/12, S10/11, K10/12 19.9. Kongruenssiyhtälöt 174-178, 180-184, 185-187, ja voi katsoa YO-tehtäviä läpi. esim. S11/13, K11/12, S10/11, K10/12. Näitä ja uudempia löytyy matikan pääsivulta keskeltä linkeistä.