DM547 - Diskret Matematik
DM549 - Diskrete Metoder til Datalogi
MM537 - Introduktion til Matematiske Metoder
MM540 - Matematiske Metoder for Økonomi (1. del)

Undervisningsplan

Dato	Type	Kursus	Indhold
Uge 36
Ti 3/9	F	Alle	Introduktion til kurset Logik: Afsnit 1.1: Logiske udsagn Afsnit 1.2: Anvendelser af logiske udsagn Afsnit 1.3: Logiske ækvivalenser Noter
On 4/9	F	Alle	Vi afslutter afsnit 1.1-1.3 Noter
Uge 37
Ti 10/9	F	Alle	Vi fortsætter med logik: Afsnit 1.4: Åbne udsagn og kvantorer Afsnit 1.5: Indlejrede kvantorer Noter
On 11/9	F	Alle	Vi afslutter afsnit 1.5 (negering af indlejrede kvantorer) og gennemgår Afsnit 1.6: Regler for logiske slutninger (overfladisk gennemgang) Afsnit 1.7: Introduktion til bevismetoder Afsnit 1.8: Bevis-strategier Noter
	E	Alle	Opgaver
	E	Alle	Opgaver
Uge 38
Ti 17/9	F	Alle	Vi afslutter afsnit 1.8 og gennemgår Afsnit 5.1: Induktionsbeviser Noter
Fr 20/9	F	Alle	Vi afslutter Afsnit 5.1 og gennemgår Afsnit 2.1: Mængder Noter Bemærk, at SOWISO indeholder teori og øvelser om mængder.
	E	Alle	Opgaver
	E	Alle	Opgaver
	S	DM549 MM537 MM540	Opgaver
Uge 39
Ti 24/9	F	Alle	Vi gennemgår Afsnit 5.1: Eks. 10 Afsnit 2.2: Mængde-operationer Noter
Fr 27/9	F	Alle	Vi gennemgår (dele af) Afsnit 2.3: Funktioner Afsnit 5.2: Stærk induktion Afsnit 5.3: Rekursive definitioner Noter
	E	Alle	Opgaver
	E	Alle	Opgaver
Uge 40
Ti 1/10	F	Alle	Vi begynder på Relationer: Afsnit 9.1: Egenskaber Afsnit 9.3: Repræsentationer Afsnit 9.4: Lukninger Noter
Fr 4/10	F	Alle	Vi fortsætter med relationer: Afsnit 9.5: Ækvivalensrelationer Noter
	E	Alle	Opgaver Midtvejsevaluering af kurset (Bemærk, det er kurset, som skal evalueres, ikke jer.)
	E	Alle	Opgaver
	S	DM549 MM537 MM540	Opgaver
Uge 41
Ti 8/10	F	Alle	Vi afslutter relationer: Afsnit 9.6: Partielle ordninger og begynder på Talteori: Afsnit 4.1: Delelighed og modulær aritmetik Noter
Fr 11/10	F	Alle	Vi afslutter Afsnit 4.1: Delelighed og modulær aritmetik og gennemgår dele af Afsnit 4.3: Primtal Noter
	E	Alle	Opgaver
	E	Alle	Opgaver
Uge 42: Efterårsferie
Uge 43
Ti 22/10	F	DM549 MM537 MM540	Vi gennemgår dele af Afsnit 4.3: Primtal Afsnit 2.5: Kardinalitet Noter
To 24/10	F	DM549	Vi fortsætter med talteori: Afsnit 4.3: Euklids Algoritme Afsnit 4.4: Lineære kongruenser og kongruenssystemer Noter
	E	DM549 MM537 MM540	Opgaver
	E	DM549 MM537 MM540	Opgaver
	S	DM549 MM537 MM540	Opgaver
Uge 44
Ti 29/10	F	DM549 MM537	Vi gennemgår Afsnit 5.3: Rekursive definitioner og strukturel induktion Noter
To 31/10	F	DM549	Vi afslutter afsnit 4.4: Afsnit 4.4: Den Kinesiske Restklassesætning og Fermats Lille Sætning Vi begynder på Grafer og gennemgår dele af Afsnit 10.1: Graf-typer Afsnit 10.2: Terminologi Noter
	E	DM547	Opgaver
	E	DM547	Opgaver
	E	DM549 MM537 MM540	Opgaver
	E	DM549	Opgaver
Uge 45
Ti 5/11	F	DM547 DM549	Vi gennemgår Afsnit 2.6: Matricer Noter
To 7/11	F	DM549	Vi gennemgår dele af Afsnit 10.2: Graf-klasser Afsnit 10.3: Repræsentationer og isomorfi Noter
	E	DM549 MM537	Opgaver
	E	DM549	Opgaver
	S	DM549 MM537 MM540	Opgaver
Uge 46
Ti 12/11	F	DM549	Vi gennemgår dele af Afsnit 10.4: Sammenhæng Afsnit 11.1: Træer Noter
	E	DM547	Opgaver
	E	DM549	Opgaver
	E	DM549	Opgaver
	E	MM537 MM540	Tilbagelevering af obligatoriske opgaver
Uge 47
Ti 19/11	F	DM549	Vi gennemgår Afsnit 2.4: Følger og rækker Noter
	E	DM549	Opgaver
	S	DM549	Opgaver
	S	MM537 MM540	Opgaver
Uge 48
Ti 26/11	F	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
	E	DM549	Opgaver
Uge 49
Ti 3/12	F	DM549	Vi fortsætter i Adams, Essex: Vi afslutter afsnit 9.1 og gennemgår Afsnit 9.2: Uendelige rækker Noter
	E	DM549	Opgaver
Uge 50
Ti 10/12	F	DM549	Vi afslutter Adams, Essex: Afsnit 9.3: Konvergens-kriterier for positive rækker Noter
	E	DM549	Opgaver
	S	DM549 MM537 MM540	Opgaver
Uge 51
	E	DM549	Opgaver