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.
Formelbladet för mängder. 		Kap 2.2, 2.3
6 Relationer I
Kartesiska produkt, egenskaper för relationer.		 Föreläsning 6: sammanfattning. Kap 2.4, delar av 8.1, 8.28.1-8.3
7 Relationer II
Ekvivalensrelation, partialordning. Sammansättning, det transitiva höljet. 		Föreläsning 7: sammanfattning.
Relationer och höljen: kap. 1 (utan Definition 4), 2, 3, samt transitiva höljet i kap. 4
Exempel på beräkning av transitiva höljet 		Delar av Kap 8.3
8 Funktioner
Injektivitet, surjektivitet, bijektivitet, sammansättning		 Föreläsning 8: sammanfattning. Delar av Kap 3.1, 3.2, 3.3
9 Predikatlogik och induktion
Predikatlogik och induktionsbevis		 Föreläsning 9: sammanfattning. Kap 15.4.1, 4.1
10 Sammanfattning diskret matematik
Tentaförberedelse

Sidansvarig: Szilvia Varro-Gyapay
Senast uppdaterad: 2025-10-16