At tilvejebringe en del af det matematiske grundlag, der er nødvendigt for den moderne datalogi og at illustrere anvendelsen heraf.

• Operere med mængder og mængdeudtryk.
• Redegøre for sammenhængen mellem mængdelære og udsagnslogik.
• Konstruere og gennemføre matematiske beviser.
• Benytte relationsbegrebet i forbindelse med databaser.
• Operere med rekursive definitioner og gennemføre induktionsbeviser over de naturlige tal.
• Løse lineære rekursioner med konstante koefficienter.
• Oversætte enkle natursproglige beskrivelser til formelle sprog ( relationel algebra, udsagnslogik, prædikatlogik).
• Operere med logiske ækvivalenser og logiske bevissystemer.
• Forstå moduloregning både algoritmisk og teoretisk (Euklid's algoritmer, sideklasser).
• Argumentere logisk og overbevisende for valg af løsning.
• Benytte de fagtekniske begreber på en klar og utvetydig måde.
• Fremlægge og præsentere løsninger kort og præcist.

Diskret matematik: mængder, udsagnslogik, relationer, induktion og rekursion, lineære rekursioner, prædikatlogik, bevissystemer og logisk ækvivalens.