Opintojakson suorittanut opiskelija tuntee joukko-opin aksioomat ja ymmärtää, miksi aksiomaattinen lähestymistapa on joukko-opissa välttämätön. Opiskelija ymmärtää, että joukkojen olemassaolo pitää perustella aksioomien avulla, ja hän osaa itse soveltaa aksioomeja tähän tarkoitukseen. Opintojakson jälkeen opiskelija hallitsee tavallisten laskutoimitusten lisäksi joukkojen yleiset yhdisteet, leikkaukset ja karteesiset tulot. Hän tuntee myös luonnollisten lukujen joukko-opillisen määritelmän, ja ymmärtää miten induktiotodistukset perustuvat siihen. Hän hallitsee kardinaalilukujen laskutoimitusten määritelmät, ja osaa todistaa niiden perusominaisuudet. Hän osaa myös käyttää transfiniittista induktiota todistusmenetelmänä.
Välikokeet
1. välikoe to 26.10.2017 klo 9-12 (A2b)
2. välikoe to 14.12.2017 klo 10-13 (Pinni B1100)