DM547 - Diskret Matematik
DM549 - Diskrete Metoder til Datalogi
MM537 - Introduktion til Matematiske Metoder
MM540 - Matematiske Metoder for Økonomi

Efterår 2018
Lene Monrad Favrholdt

Undervisningsplan

Nedenstående er en foreløbig undervisningsplan, som løbende justeres.

*: For T- og SF-timer er der ikke angivet dato, da datoen varierer, alt efter hvilket hold man følger.

Dato* Type Kursus Indhold
Uge 36
On 5/9 I Alle
  • Introduktion til kurset
  • Logik
    • Afsnit 1.1: Logiske udsagn
    • Afsnit 1.2: Anvendelser af logiske udsagn
    • Afsnit 1.3: Logiske ækvivalenser
Noter
Fr 7/9 I Alle Vi afslutter afsnit 1.3 og begynder på
  • Afsnit 1.4: Åbne udsagn og kvantorer
Noter
Uge 37
Ma 10/9 I Alle Vi afslutter afsnit 1.4 og gennemgår
  • Afsnit 1.5: Indlejrede kvantorer
  • Afsnit 1.6: Regler for logiske slutninger (overfladisk gennemgang)
Hvis der bliver tid, starter vi på Afsnit 1.7.
Noter
On 12/9 I Alle Vi gennemgår
  • Afsnit 1.7: Introduktion til bevismetoder
  • Afsnit 1.8: Bevis-strategier
Hvis der bliver tid, starter vi på afsnit 5.1 om induktion.
Noter
T Alle Opgaver
T Alle Opgaver
Uge 38
Ma 17/9 I Alle Vi gennemgår
  • Afsnit 5.1: Induktionsbeviser
Noter
On 19/9 I Alle Vi gennemgår dele af
  • Afsnit 2.1-2.2: Mængder
Noter
De dele, som vi ikke gennemgår eller går let henover, gennemgås i SOWISO's "Discrete Mathematics" course. Hvis du ikke allerede er begyndt at bruge SOWISO, kan du bruge denne vejledning til at komme i gang.
T Alle Opgaver
T Alle Opgaver
SF DM549
MM537		 Opgaver
Uge 39
Ma 24/9 I Alle Vi gennemgår (dele af)
  • Afsnit 2.3: Funktioner
  • Afsnit 5.2: Stærk induktion
  • Afsnit 5.3: Rekursive definitioner
Noter
On 26/9 I Alle Vi afslutter
  • Afsnit 5.2: Stærk induktion
og begynder på Relationer:
  • Afsnit 9.1: Egenskaber
  • Afsnit 9.3: Repræsentationer
Noter
T Alle Opgaver
T Alle Opgaver
Uge 40
Ma 1/10 I Alle Vi afslutter afsnit 9.1 og 9.3 og gennemgår
  • Afsnit 9.4: Lukninger
Noter
On 3/10 I Alle Vi fortsætter med relationer:
  • Afsnit 9.5: Ækvivalensrelationer
Noter
T Alle Opgaver
Midtvejsevaluering af kurset (Bemærk, det er kurset, som skal evalueres, ikke jer.)
T Alle Opgaver
SF DM549
MM537		 Opgaver
Uge 41
Ma 8/10 I Alle Vi afslutter relationer:
  • Afsnit 9.6: Partielle ordninger
og begynder på Talteori:
  • Afsnit 4.1: Delelighed og modulær aritmetik
Noter
On 10/10 I Alle Første time: Multiple choice test
  • Testen er kun obligatorisk for DM547 og DM549, men deltagere i MM537 og MM540 er også velkomne til at teste sig selv ved at tage testen.
Anden time: Vi afslutter afsnit 4.1 og gennemgår dele af
  • Afsnit 4.3: Primtal
Noter
T Alle Opgaver
T Alle Opgaver
Uge 42: Efterårsferie
Uge 43
Ma 22/10 I DM549
MM537
MM540		 Vi gennemgår dele af
  • Afsnit 4.3: Primtal
  • Afsnit 2.5: Kardinalitet
Noter
On 24/10 I DM549 Vi fortsætter med talteori:
  • Afsnit 4.3: Euklids Algoritme
  • Afsnit 4.4: Lineære kongruenser og Den Kinesiske Restklasse-Sætning
Noter
T DM549
MM537
MM540		 Opgaver
T DM549
MM537
MM540		 Opgaver
SF DM549
MM537		 Opgaver
Uge 44
Ma 29/10 I DM549
MM537 		Vi gennemgår
  • Afsnit 5.3: Rekursive definitioner og strukturel induktion
Noter
On 31/10 I DM549 Vi afslutter talteori:
  • Afsnit 4.4: Fermats Lille Sætning
og gennemgår
  • Afsnit 2.4: Følger og rækker
Noter
T DM547 Opgaver
T DM547 Opgaver
T DM549
MM537
MM540 		Opgaver
T DM549 Opgaver
Uge 45
Ma 5/11 I DM547
DM549 		Første time: Multiple choice test
  • Testen er kun obligatorisk for DM547 og DM549, men deltagere i MM537 og MM540 er også velkomne til at teste sig selv ved at tage testen.
Anden time:
  • Afsnit 2.6: Matricer
Noter
On 7/11 I DM549 Vi afslutter afsnit 2.4.
Noter
T DM549
MM537		 Opgaver
T DM549 Opgaver
SF DM549
MM537		 Opgaver
Uge 46
Ma 12/11 I DM549 Vi gennemgår dele af
  • Afsnit 10.1: Grafer og graf-modeller
  • Afsnit 10.2: Terminologi og graf-klasser
  • Afsnit 10.3: Repræsentation
Noter
T DM547 Opgaver
T DM549 Opgaver
Uge 47
Ma 19/11 I DM549 Vi gennemgår dele af
  • Afsnit 10.2: Terminologi og graf-klasser
  • Afsnit 11.1: Træer
Noter
T DM549 Opgaver
SF DM549 Opgaver
SF MM537 Opgaver
Uge 48
Ma 26/11 I DM549 Vi begynder på kapitlet om følger og rækker, som findes i Blackboard under Course Materials:
  • Afsnit 9.1: Følger og konvergens
Fra nu af kaldes dette kapitel Adams, Essex efter forfatterne.
Noter
T DM549 Opgaver
Uge 49
Ma 3/12 I DM549 Vi fortsætter i Adams, Essex:
Vi afslutter afsnit 9.1 og gennemgår
  • Afsnit 9.2: Uendelige rækker
Noter
T DM549 Opgaver
SF DM549
MM537		 Opgaver
Uge 50
Ma 10/12 I DM549 Vi afslutter Adams, Essex:
  • Afsnit 9.3: Konvergens-kriterier for positive rækker
Noter
T DM549 Opgaver
Uge 51
T DM549 Opgaver