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.

Læringsmål:

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 lineære rekursioner med konstante koefficienter.
• 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, lineære rekursioner, udsagnslogik, prædikatlogik og bevissystemer.

Kursusansvarlig:

Peter Beelen , Bygning 303 B, Tlf. (+45) 4525 3022 , pabe@dtu.dk
Thomas Bolander , Bygning 322, Tlf. (+45) 4525 3715 , tobo@dtu.dk