MAA11 Lukuteoria ja logiikka (valtakunnallinen syventävä)
Kurssilla opittavia taitoja tarvitaan jatko-opinnoissa mm. tietoteknisillä ja matemaattisilla aloilla.
- lauseen formalisoiminen ja totuusarvot
- kvanttorit
- suora, käänteinen ja ristiriitatodistus
- kokonaislukujen jaollisuus, jakoyhtälö ja kongruenssi
- Eukleideen algoritmi
- aritmetiikan peruslause