Fagoversikt

• Utsagnslogikk
• Mengdelære
• Generelle funksjoner
• Følger og rekker
• Tallmatriser og logiske matriser
• Algoritmer og algoritmeorden
• Tallteori, heltallsregning, tallsystemer, kongruensregning
• Bevisteknikk, induksjon
• Opptelling, utvalg, binomialkoeffisienter
• Permutasjoner
• Differensligninger
• Relasjoner, ordninger
• Grafer og trær