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.

Nr	Innehåll	Material	Läsanvisning (Asratian)
Diskret matematik föreläsare Mikael Asplund
1	Kursintroduktion Kursöversikt, introduktion till ämnet, introduktion till satslogik	Logisk ekvivalens Logiska ekvivalenser	Kap 1, 15.1-15.2
2	Logik Satslogisk deduktion, introduktion till bevis och predikatlogik	Deduktion	15.3-15.5
3	Mängdlära I Notation, egenskaper, mängdoperationer		2.1-2.2
4	Mängdlära II Bevis, potensmängd, kardinalitet		2.3 (delvis 2.5)
5	Relationer I Kartesisk produkt, indentitetsrelation, invers, egenskaper för relationer, sammansättning		2.4, 8.1-8.2, Relationer och höljen
6	Relationer II Höljen, ekvivalensrelationer, partitioner		8.3, Relationer och höljen
7	Funktioner Egenskaper, operationer, operationsegenskaper, sammansättning		3.1-3.3
8	Induktion Rekursiva funktioner och induktionsbevis		Kap 4
9	Forts. Induktion och oändliga mängder Kardinalitet för oändliga mängder, mer om bevis		Kap4, 3.4
10	Sammanfattning diskret matematik Tentaförberedelse