Följande är en preliminär föreläsningsplan och avvikelser kan förekomma under kursens gång. Kursens innehåll definieras av innehållet i de kapitel i kursboken som räknas upp i schemat. I planen nedan ligger sista tre föreläsningarna som "öppna" och de kommer att användas till något av: slutföra material vi inte hunnit med tidigare i kursen, temaföreläsningar kopplade till ämnen som tagits upp, eller repetition och genomgång av gamla tentor.

För uppdaterad information om hur planen följts samt eventuella ändringar se Aktuell information; kursens schema finns i TimeEdit.

Föreläsningar

Dag	Avsnitt	Innehåll
2/9	1.2-1.5	Introduktion, satslogik
4/9	1.6-1.9, 2.1	Satslogik, predikatlogik och mängdlära
5/9	2.2-2.3, 3.1-3.2	Fortsättning predikatlogik och mänglära
9/9	3.1-3.4	Fortsättning mängdlära, funktioner
10/9		Inställd
11/9	3.6-3.7	Relationer och operatorer.
16/9	3.7-3.8	Mer om funktioner, relationer
18/9	3.6, 4.1-4.2	Summor, rekursion och induktion OBS: Videoinspelning
19/9	4.3	Induktion OBS: Videoinspelning
23/9	6.1-6.3	Kombinatorik
25/9		Inklusion-exklusion, lådprincipen (anteckningar: PigeonHole_IE.pdf, extra uppgifter Add_Exercises_TMV200.pdf)
26/9	7.1, 7.7	Grafer och isomorfier
30/9	7.2-7.5	Riktade grafer, träd och Eulervägar/cykler
2/10		Dugga
3/10		Genomgång av dugga; Solution_Oct2024.pdf
7/10	7.3-7.5	Riktade grafer, träd och Eulervägar/cykler
9/10	7.6, B.1-B.2, B.4	Matriser, delbarhet; Lect15_Oct9_24.pdf
10/10	5.1	Delbarhet (forst.)
14/10	5.2-5.3	Linjära diofantiska ekvationer
16/10	5.4	Primtal, kongruenser
17/10	5.5-5.6	Kinesiska restsatsen, Eulers sats och Fermats lilla sats
21/10	5.7	Kryptering
23/10		Ingen föreläsning; kort sammanfattning av kursen: Summary_2024.pdf
24/10		Frågestund 13:15-15:30 i MVL15. OBS: Notera tid och plats. Ingen föreläsning 15-17.

Tillbaka till toppen