Kurssin tavoitteena on, että opiskelija
· oppii formalisoimaan väitelauseita ja tutkimaan niiden totuusarvoja totuustaulujen avulla,
· ymmärtää avoimen lauseen käsitteen ja oppii käyttämään kvanttoreita,
· oppii todistusperiaatteita ja harjoittelee todistamista,
· oppii lukuteorian peruskäsitteet ja perehtyy alkulukujen ominaisuuksiin,
· osaa tutkia kokonaislukujen jaollisuutta jakoyhtälön ja kokonaislukujen kongruenssin avulla,
· osaa määrittää kokonaislukujen suurimman yhteisen tekijän Eukleideen algoritmilla.
|