Göm menyn

TDDC75 Diskreta strukturer

Föreläsningar

Det preliminära upplägget för föreläsningar presenteras på denna sida. Föreläsningarna består av två parallella spår, ett i diskret matematik och ett i digitalteknik. För digitalteknikdelen se Lisam page.

Diskret matematik
föreläsare Szilvia Varro-Gyapay

Nr Innehåll Material Läsanvisning (Asratian et al.)
1 Kursintroduktion, Logik I
Kursöversikt, introduktion till ämnet, introduktion till satslogik 		Information.
Föreläsningar 1,2,3: sammanfattning. 		Kap 1, 15.1
2 Logik II
Logisk ekvivalens		 Videor (Mikael Asplund): Logisk ekvivalens.
Logiska ekvivalenser.		 Kap 15.2
3 Logik III
Logisk konsekvens, korrekt slutledning		 Formelblad. Kap 15.3, till och med 15.3.2
4 Mängdlära I
Notation, egenskaper, delmängd, äkta delmängd, tomma mängden.		 Föreläsning 4: sammanfattning. Kap 2.1
5 Mängdlära II
Mängdoperationer, mängdlikhet, Venndiagram, potensmängd.		 Föreläsning 5: sammanfattning. Kap 2.2, 2.3, 2.4
6 (Preliminär) Relationer I
Kartesisk produkt, indentitetsrelation, invers, egenskaper för relationer, sammansättning. Höljen, ekvivalensrelationer, partitioner		 Kap 8.1-8.3
7 (Preliminär) Relationer II och funktioner
Egenskaper, operationer, operationsegenskaper, sammansättning		 Kap 3.1-3.3
8 (Preliminär) Induktion I
Rekursiva funktioner och induktionsbevis		 Kap 4
9 (Preliminär) Induktion II och oändliga mängder
Kardinalitet för oändliga mängder, mer om bevis		 Kap 4, 3.4
10 Sammanfattning diskret matematik
Tentaförberedelse

Sidansvarig: Szilvia Varro-Gyapay
Senast uppdaterad: 2025-09-15