Enkeltfag
Dansk
5 ECTS
Diskret matematik
Overordnede kursusmål
At tilvejebringe en del af det matematiske grundlag, der er nødvendigt for den moderne ingeniørvidenskab og at illustrere anvendelser heraf.
See course description in English
Læringsmål
- 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.
Kursusindhold
Mængder, relationer, induktion og rekursion, moduloregning, kombinatorik, udsagnslogik, prædikatlogik og bevissystemer.
Undervisningsform
Forelæsninger og øvelser.