Revisionen

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

Dieses Material ist 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

PDF

Diff

1 Einführung

3

1-3.pdf

diff1-2_1-3.pdf

2

1-2.pdf

diff1-1_1-2.pdf

1

1-1.pdf

2 Halbgruppen und Relationen

2

2-2.pdf

diff2-1_2-2.pdf

1

2-1.pdf

3 Termalgebren

2

3-2.pdf

diff3-1_3-2.pdf

1

3-1.pdf

4 Aussagenlogik und Prädikatenlogik

2

4-2.pdf

1

4-1.pdf

5 Funktionales Programmieren

4

5-4.pdf

3

5-3.pdf

2

5-2.pdf

1

5-1.pdf

6 ADTs

2

6-2.pdf

1

6-1.pdf

7 Algorithmenkonstruktion

2

7-2.pdf

1

7-1.pdf

100 Übung 4 - Relationen und SQL

1

u4.pdf

101 Übung 5 - Einführung in Haskell

1

u5.zip

102 Übung 6 - Haskell und Grafik

1

u6.zip

103 Übung 7 - Blatt 6, FHO, Simulation

1

u7.zip

104 Übung 8: Blatt 7, PL/1, Krypto

1

u8.pdf

105 Übung 9 - Lambda und Church

1

u9.pdf

106 Weihnachtsübung

1

u10.pdf

107 Übung 12 - Probeklausur und Co.

1

u12.pdf

108 Übung 13 - Laufzeitverhalten

1

u13.zip

109 Übung 14 - Damen und Heaps

1

u14.pdf

110 Übung 15 - Asymptotischer Aufwand

1

u15.pdf

110 Übung 16 - Endspurt

1

u16.pdf