• har viden om mængdelære: mængder, relationer, funktioner,
kardinalitet af mængder
• har viden om grundlæggende talteori: modulær aritmetik. Euklids
algoritme.
• har viden om rekursive/iterative algoritmer. Tidskompleksitet
• har viden om asymptotisk notation. Logaritme og
eksponentialfunktioner med grundtal 2. Store-O notationen
• har viden om kombinatorik: binomialformlen
• har viden om rekursive definitioner
• har viden om bevisteknikker: svag og stærk induktion.
Modstridsbevis, bevis ved kontraposition
• har viden om logisk notation: udsagnslogik, kvantorer
• har viden om grafteori: veje, træer. Grafalgoritmer. Korteste
vej
• kan gennemføre beviser for resultater inden for kursets emner
ved hjælp af de i kurset behandlede bevisteknikker
• kan gøre brug af de fornødne skriftlige færdigheder i disse
sammenhænge
• kan argumentere videnskabsteoretisk om forskellige
bevisstrategier og med logiske termer
• den studerende skal kunne anvende begreber og teknikker for diskret matematik, herunder i sammenhænge, hvor algoritmer indgår
Forelæsninger med tilhørende opgaveregning.
Kursusmodulets omfang er 5 ECTS svarende til 150 timers studieindsats.
Prøvens navn | Diskret matematik |
Prøveform | Skriftlig eller mundtlig |
ECTS | 5 |
Bedømmelsesform | 7-trins-skala |
Censur | Intern prøve |
Vurderingskriterier | Vurderingskriterierne er angivet i Universitetets eksamensordning |
Engelsk titel | Discrete Mathematics |
Modulkode | F-MAT-B1-4 |
Modultype | Kursus |
Varighed | 1 semester |
Semester | Efterår
|
ECTS | 5 |
Undervisningssprog | Dansk og engelsk |
Tomplads | Ja |
Undervisningssted | Campus Aalborg |
Modulansvarlig |
Studienævn | Studienævn for Matematiske Fag |
Institut | Institut for Matematiske Fag |
Fakultet | Det Ingeniør- og Naturvidenskabelige Fakultet |