NMAA08012U Diskrete matematiske strukturer (DiMS)

Viden om
a) grundlæggende matematisk metode,
b) logik,
c) tælleproblemer,
d) relationer,
e) funktioner,
f) størrelsesorden,
g) træer,
h) grafteori,
i) polynomier,
j) komplekse tal,
k) mængder,
l) grupper og
m) ringe.

Færdigheder i at
a) implementere/​algoritmificere udvalgte videnspunkter fra listen ovenfor i et funktionsprogrammeringssprog,
b) gennemføre formelbaseret løsning af problemer hentet blandt udvalgte videnspunkter fra listen ovenfor.

Kompetencer til selvstændigt at
a) afgøre korrektheden af matematiske ræsonnementer ved brug af logiske slutningsregler,
b) formulere simple matematiske argumenter, specielt ved at gøre brug af matematisk induktion og modstridsbeviser,
c) knytte forbindelse mellem kursets matematiske emner og datalogiske problemstillinger,
c) udvælge metoder og teoridele til løsning af problemer indenfor kursets vidensområde, herunder specielt

• udføre formelle logiske operationer på matematiske udsagn,
• genkende forskellige former for relationer og gøre brug af dem,
• analysere kombinatoriske problemstillinger såvel ved brug af tælleargumenter som algebraiske operationer,
• genkende forskellige former for grafer og anvende centrale algoritmer knyttet til sådanne,
• arbejde med rekursive definitioner og løse rekursionsligninger.
• faktorisere polynomier og regne med komplekse tal
• gøre brug af O-notation til at angive størrelsesordenen af en funktion,