Themenübersicht zur Klausur von Maria

(i)	Boolesche Algebra & Schaltnetze (® Üb 11, Aufg. 1)
-	Boolesche Terme (Def.) 
-	Boolesche Gesetze 
-	DNF, KNF 
-	Wahrheitstabelle
-	Gatter, Schaltnetz ® Boolescher Term
-	2-komponent Darstellung
-	Halbaddierer, Volladdierer
-	Multiplexer, Demultiplexer, Decoder, Encoder

(ii)	vollständige Induktion (® Üb 10, Aufg.4)
-	vollständige strukturelle Induktion, d.h. Induktion über Listen

(iii)	algebraische Datentypen und Typklassen (® Üb 10, Aufg. 4)
-	d.h. Bäume etc.
-	aufzählender Datentyp 
-	Produkttyp
-	Polymorpher Datentyp
-	Alternativer Datentyp
-	Rekursiver Datentyp

(iv)	sonstiges
-	Listen
-	Rekursion
-	Sortieren
-	Funktionen höherer Ordnung
-	Lazy Evaluation