Sisältö
Opitaan luonnollisen kielen lauseiden ja ongelmatehtävien formalisointia. Käydään mm. ritarien ja kelmien saarella morsianta valitsemassa. Perehdytään matemaattiseen todistamiseen. Lukuteoriassa tutustutaan kokonaislukujen jaollisuusominaisuuksiin ja alkulukuihin.
|