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, både direkte og indirekte.
• Benytte relationsbegrebet i forbindelse med databaser.
• Operere med rekursive definitioner og gennemføre induktionsbeviser over de naturlige tal.
• Benytte strukturel rekursion og induktion og forstå sammenhængen.
• Oversætte enkle natursproglige beskrivelser til formelle sprog ( relationel algebra, udsagnslogik, prædikatlogik).
• Operere med logiske ækvivalenser og logiske bevissystemer.
• Fremlægge og præsentere løsninger kort og præcist.
• Argumentere logisk og overbevisende for valg af løsning.
• Benytte de fagtekniske begreber på en klar og utvetydig måde.

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