Göm menyn

TDDC75 Diskreta strukturer

Föreläsningar

Det preliminära upplägget för föreläsningar i diskret matematikdelen presenteras på denna sida. För digitalteknikdelen se Lisam page.

Diskret matematik
föreläsare Szilvia Varro-Gyapay

Nr Innehåll Material Läsanvisning
(Asratian et al.)
0 Kursintroduktion, diagnostiskt prov
Kursöversikt, introduktion till ämnet, diagnostiskt prov. 		Information.
1 Logik I
Satslogik: utsagor, sanningstabell, konnektiv, logisk ekvivalens. 		Föreläsning 1 Kap 1, 15.1. Kap 15.2
2 Logik II
Satslogik: logisk ekvivalens, ekvivalensregler, omskrivning. Formelblad.		 Föreläsning 2 Formelblad Kap 15.2
3 Logik III och Mängdlära I
Logik: Logisk konsekvenser, härledning, predikatlogik. Mängdlära: mängder, element.		 Föreläsning 3 Kap 15.3 (inte reduktionsmetoden!), 15.4.1, 2.1
4 Mängdlära II
Delmängd, tomma mängden, mängdlikhet, kardinalitet, mängdoperationer, medlemskapstabell, Venndiagram, likheter.		 Föreläsning 4
Formelbladet för mängder 		Kap 2.2, 2.3
5 Mängdlära III och kartesiska produkter
Mängdlikhet, potensmängd. Kartesiska produkter. 		Föreläsning 5 Kap 2.3, 2.4, del av 2.5
6 Relationer I
Relationer, egenskaper för relationer, ekvivalensrelation, partialordning. 		Föreläsning 6 Delar av kap 8.1, 8.2, 8.3
7 Relationer II, Funktioner I
Ekvivalensrelationer och partialordningar, sammansättning av relationer. Reflexiva, symmetriska, transitiva höljen. Funktioner.		 Föreläsning 7
Relationer och höljen
Exempel beräkning av det transitiva höljet 		Delar av kap 8.3, 13.2, 3.1, 3.2, 3.3
8 Funktioner II
Injektiv, surjektiv, bijektiv funktioner. Sammansättning av funktioner. Inversfunktion.		 Föreläsning 8 Delar av kap 3.1, 3.2, 3.3
9 Induktion
Föreläsning 9 		Delar av kap 4.4

Sidansvarig: Szilvia Varro-Gyapay
Senast uppdaterad: 2026-10-19