Kurssi 11: Lukuteoria ja logiikka
Kurssin opetusvideot ja kotitehtävät
KPL 1.1. Lauseen formalisointi
Katso video ja tee kotitehtävät: 1, 2, 3
KPL 1.2. Lauseen totuusarvot
Katso video ja tee kotitehtävät: 20, 21, 22
KPL 1.3. Tautologia
Katso video ja tee kotitehtävät: 42a, 42b, 42c
KPL 1.4. Avoin lause ja kvanttorit
Katso video ja tee kotitehtävät: 63, 64, 65
KPL 2.1. Suora todistus
Katso video ja tee kotitehtävät: 83, 84, 85
KPL 2.2. Vastaesimerkki
Katso video ja tee kotitehtävät: 104, 105, 106
KPL 2.3. Epäsuora todistus
Katso video ja tee kotitehtävät: 124, 125, 126
KPL 2.4. Matemaattinen induktio
Katso video ja tee kotitehtävät: 144, 145
KPL 3.1. Jakolasku
Katso video ja tee kotitehtävät: 170, 171, 172
KPL 3.2. Suurin yhteinen tekijä
Katso video ja tee kotitehtävät: 194, 195
KPL 3.3. Kongruenssi
Katso video ja tee kotitehtävät: 216, 217, 218
kPL 3.4. Alkuluvut
Katso video ja tee kotitehtävät: 247, 248, 249
KPL 3.5. Jaollisuuslauseita
Katso video ja tee kotitehtävät: 274, 275, 276