English web site
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
|
|||
| 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 | (Preliminär) Mängdlära II, Relationer I
Mängdoperationer, kardinalitet, potensmängd. Kartesisk produkt, indentitetsrelation, invers, egenskaper för relationer, sammansättning |
Kap 2.2, 2.3, 2.4, 8.1-8.2 | |
| 6 | (Preliminär) Relationer II
Höljen, ekvivalensrelationer, partitioner |
Kap 8.3 | |
| 7 | (Preliminär) 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-14
