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.

Diskret matematik
föreläsare Mikael Asplund/Klervie Toczé

Digitalteknik
föreläsare Mattias Krysander

Nr Innehåll Material Läsanvisning (Asratian)    Nr Innehåll Material Läsanvisning (Hemert) Le/Lab
1 Kursintroduktion
Kursöversikt, introduktion till ämnet, introduktion till satslogik
Kap 1, 15.1-15.2 1 Introduktion till digitalteknik,
grindar och kombinationskretsar 		Bilder, anteckningar, Extramaterial: Konstruktion av grindar med transistorer. Kap 1 utom 1.4 + 2.1 -
2 Logik
Satslogisk deduktion, introduktion till bevis och predikatlogik		 15.3-15.5 2 Boolesk algebra
Boolesk algebra, med digitaltekniskt fokus. 		Bilder, anteckningar Kap 3 Le 1
3 Mängdlära I
Notation, egenskaper, mängdoperationer		 2.1-2.2 3 Kombinationskretsar
Booleska funktioner. Förenkling och realisering av Booleska funktioner i grindnät och Karnaughdiagram. Ofullständigt specificerade funktioner.		 Bilder, anteckningar Kap 4 - s144.
Läs speciellt ex 4.6 och stycket s142-s144 före le 2.. 		Le 2
4 Mängdlära II
Bevis, potensmängd, kardinalitet		 2.3 (delvis 2.5) 4 Kombinationskretsar
Grinddelning, adderare, kretsar och kapslar, Laboration 1. 		Bilder, anteckningar. Video om labförberedelse och genomförande och PROM. Kap 4, utom 4.4 och 4.7.
Läs speciellt ex 4.7 och 4.8 samt stycket s145-s147 före le 3. 		Le 3, Lab 1
5 Relationer I
Kartesisk produkt, indentitetsrelation, invers, egenskaper för relationer, sammansättning		 2.4, 8.1-8.2, Relationer och höljen 5 Sekvenskretsar
Introduktion och analys av sekvenskretsar. D-vippa som minneselement. Mealy- och Moore-modellen. 		Bilder anteckningar 2.2 -
6 Relationer II
Höljen, ekvivalensrelationer, partitioner		 8.3, Relationer och höljen 6 Sekvenskretsar
Konstruktion av sekvenskretsar. Synkronisering av insignaler. 		Bilder, anteckningar 5.1, 5.6 Le 4
7 Funktioner
Egenskaper, operationer, operationsegenskaper, sammansättning		 3.1-3.3 7 Konstruktionsmetodik för sekvenskretsar
Konstruktionsmetodik för sekvenskretsar Från problemformulering till tillståndsdiagram, initiering av starttillstånd, introduktion av räknare. 		Bilder anteckningar 1.4 Le 5, Lab 2
8 Induktion
Rekursiva funktioner och induktionsbevis		 Kap 4 8 Speciella sekvenskretsar
Speciella sekvenskretsar: räknare och register, konstruktion med speciella sekvenskretsar, konstruktionsexempel. 		Bilder, anteckningar 5.2, 5.3, Läs speciellt avsnittet om register på sida 82 och avsnitt 5.3. Le 6, Lab2
9 Forts. Induktion och oändliga mängder
Kardinalitet för oändliga mängder, mer om bevis		 Kap4, 3.4 9 Repetition digitalteknik
Repetition. Examinationsdiskussion. Eventuell utblick om konstruktion av större system. 		Bilder, anteckningar - Lab 3 (LAX)
10 Sammanfattning diskret matematik
Tentaförberedelse

Sidansvarig: Mikael Asplund
Senast uppdaterad: 2023-09-25