MAA/MAE11 Lukuteoria ja todistaminen

Kurssilla opitaan formalisoimaan väitelauseita ja tutkimaan niiden totuusarvoja totuustaulujen avulla. Perehdytään lukuteorian peruskäsitteisiin ja alkulukujen ominaisuuksiin, tutkitaan kokonaislukujen jaollisuutta jakoyhtälön ja kokonaislukujen kongruenssin avulla, määritetään kokonaislukujen suurin yhteisen tekijän Eukleideen algoritmilla.