Kursinnehåll
Elementär logik: sanningstabeller samt disjunktiv och konjuktiv normalform. Mängdlära: snitt, union, komplement, kartesisk produkt och potensmängd. Samband mellan öppna utsagor och delmängder. Funktionsbegreppet: egenskaper som injektiv, surjektiv, bijektiv och inversfunktion, samt illustrerande exempel med exponentialfunktioner, trigonometriska funktioner och polynomfunktioner. Relationer: ekvivalensrelationer och ekvivalensklasser. Kombinatorik: multiplikationsprincipen, permutationer och kombinationer, binomialsatsen. Naturliga och hela tal: induktion, rekursion, delbarhet, primtal, Euklides algoritm, kongruensräkning, representation av tal i olika baser. Linjära kongruenser, Kinesiska restsatsen. Komplexa tal: talplanet, argument, absolutbelopp och polär form. Rationella, reella och komplexa polynom: faktorisering, irreducibla polynom, Euklides algoritm, multipla nollställen, rationella nollställen till polynom med heltalskoefficienter.