At tilvejebringe en afgørende del af det matematiske grundlag for den moderne ingeniørvidenskab og at illustrere anvendelser heraf. En studerende, der fuldt ud har opfyldt kursets mål, vil kunne:

• Operere med mængder og mængdeudtryk.
• Redegøre for sammenhængen mellem mængdelære og udsagnslogik.
• Konstruere og gennemføre simple matematiske beviser.
• Operere med rekursive definitioner og gennemføre induktionsbeviser over de naturlige tal.
• Løse enkle kombinatoriske problemer.
• Oversætte enkle natursproglige beskrivelser til formelle sprog (udsagnslogik og prædikatlogik).
• Operere med logiske konsekvenser og logiske ækvivalenser.
• Operere med 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.

Mængder, relationer, induktion og rekursion, moduloregning, kombinatorik, udsagnslogik, prædikatlogik og bevissystemer. 04. maj, 2017