Revisionen

Ausgedruckte Folien erleichtern es, sich während der Vorlesung verwertbare Notizen zu machen. Daher stellen wir die Foliensätze vor ihrer Verwendung in der Vorlesung auf dieser Webseite ein.

Dieses Material ist allerdings nicht in Erz gegossen. In der unmittelbaren Vorbereitung auf einen Vortrag sowie im Vortrag selbst springen Verständnisprobleme viel deutlicher ins Auge als bei der Erstellung von Folien am Schreibtisch.

Solche späten Korrekturen, und natürlich die handschriftlichen Erweiterungen in den Veranstaltungen, werden in Form revidierter Foliensätze hier eingestellt. Wir bemühen uns, dies jeden Freitag zu schaffen.

Format

Die Foliensätze liegen als PDF-Dateien vor. Der benötigte Acrobat Reader ist für eine Vielzahl von Plattformen kostenlos erhältlich.

Folien

		Foliensatz				Revision				Datum				Titel
		101				5				2003-10-22				Kapitel 1: Einführung
		301				5				2020-03-10				Kapitel 1: Einführung (Handzettel)
		201				5				2003-10-22				Kapitel 1: Einführung (mit Kommentaren)
		102				6				2003-11-25				Kapitel 2(a): Halbgruppen und Relationen
		202				6				2003-11-25				Kapitel 2(a): Halbgruppen und Relationen (mit Kommentaren)
		302				6				2003-11-25				Kapitel 2(a): Halbgruppen und Relationen (Handzettel)
		108				1				2004-01-12				Kapitel 2(b): Halbgruppen und Relationen
		308				1				2004-01-12				Kapitel 2(b): Halbgruppen und Relationen (Handzettel)
		208				2				2004-01-16				Kapitel 2(b): Halbgruppen und Relationen (kommentiert)
		109				1				2004-01-19				Kapitel 2(c): SQL-Übung
		309				1				2004-01-19				Kapitel 2(c): SQL-Übung (Handzettel)
		103				2				2003-11-18				Kapitel 3(a): Termalgebren
		303				2				2003-11-18				Kapitel 3(a): Termalgebren (Handzettel)
		203				3				2003-11-18				Kapitel 3(a): Termalgebren (mit Kommentaren)
		110				2				2004-01-26				Kapitel 3(b): Termalgebren
		310				2				2004-01-26				Kapitel 3(b): Termalgebren (Handzettel)
		210				2				2004-01-26				Kapitel 3(b): Termalgebren (mit Kommentaren)
		104				3				2003-11-28				Kapitel 4: Formale Logik
		304				3				2003-11-28				Kapitel 4: Formale Logik (Handzettel)
		204				3				2003-11-28				Kapitel 4: Formale Logik (mit Kommentaren)
		105				1				2003-11-28				Kapitel 5: Funktionales Programmieren
		305				1				2003-11-28				Kapitel 5: Funktionales Programmieren (Handzettel)
		205				4				2004-02-09				Kapitel 5: Funktionales Programmieren (mit Kommentaren)
		106				3				2004-02-17				Kapitel 6: Abstrakte Datentypen
		206				3				2004-02-17				Kapitel 6: Abstrakte Datentypen (mit Kommentaren)
		107				4				2004-02-06				Kapitel 7: Algorithmenkonstruktion
		307				4				2004-02-06				Kapitel 7: Algorithmenkonstruktion (Handzettel)
		207				5				2004-02-09				Kapitel 7: Algorithmenkonstruktion (mit Kommentaren)
		401				2				2003-10-20				Übung 01: Binärdarstellung, Rechnen, Huffman
		402				1				2003-10-24				Übung 02: Markov und Chomsky
		403				1				2003-10-31				Übung 03: Chomsky, Ableitungsbäume, Halbgruppen
		404				1				2003-11-07				Übung 04: Graphen und Relationen
		405				1				2003-11-14				Übung 05: Ordnungsrelationen Hasse, Toposort, Verbände
		406				1				2003-11-21				Übung 06: Substitution, Unifikation, Prolog
		407				2				2003-12-01				Übung 07: Prädikatenlogik, Umformungen
		408				1				2003-12-05				Übung 08: Lamda-Kalkül und Haskell
		409				1				2003-12-12				Übung 09: Markov und Skyline in Haskell
		410				1				2004-01-09				Übung 10: Prolog, Vererbung, Schleifeninvatianten
		411				1				2004-01-16				Übung 11: Endliche Automaten (Kara), Petrinetze, Relationale Algebra
		412				1				2004-01-23				Übung 12: EA, reguläre Ausdrücke, SQL
		413				2				2004-01-30				Übung 13: Algebren, ADT's und O-Kalkül
		414				2				2004-02-17				Übung 14: Endspurt, die 1.
		415				1				2004-02-13				Übung 15: Zufallsgesteuerte Algorithmen, Rekurrenzen, Endspurt, die 2.