Zusätzliches Material |
||||
|---|---|---|---|---|
|
1. |
|
14.10.09 | ||
| Geschichte der Programmiersprachen | 19.10.09 | |||
| Einführung in Haskell |
21.10.09 | |||
| Listen, Tupel und Zeichenketten | 26.10.09 | |||
| Haskell-Typsystem Sortieren und Suchen |
28.10.09 | |||
| Sortieralgorithmen ..weiter mit Listen |
2.11.09 | Zweierkomplement | ||
| Algebraische Datentypen | 4.11.09 |
|
||
| Algebraische Datentypen II Funktionen Höherer Ordnung |
9.11.09 |
|
||
| Abstrakte Datentypen | 11.11.09 | |||
| Lambda-Kalkül | 16.11.09 | |||
| Lambda-Kalkül (Teil 2) | 23.11.09 | |||
| Lambda-Kalkül (Teil 3) | 25.11.09 | |||
| Lambda-Kalkül (Teil 4) Kombinatorische Logik (CL) |
30.11.09 | Lambda-Kalkül | ||
|
14. |
Berechenbarkeitsbegriff Register-Maschinen (Einführung) |
2.12.09 | ||
|
15. |
Register-Maschinen | 7.12.09 | ||
|
16. |
Monaden (Einführung) | 9.12.09 | ||
|
17. |
Fallstudie (Huffman codes) | 11.12.09 | ||
|
18. |
Wiederholung einiger Klausurthemen | 14.12.09 | ||
|
19. |
Turing-Maschine | 4.01.10 | ||
|
20. |
Turing-Maschine (Teil II) | 6.01.10 | Turing-Maschine-Simulator | |
|
21. |
Turing-Maschine (Teil III) Induktion und Rekursion (Teil I) |
11.01.10 | ||
|
22. |
Induktion und Rekursion (Teil II) Monaden (Teil II) |
13.01.10 | ||
|
23. |
Induktion und Rekursion (Teil III) | 18.01.10 | Beispiele | |
|
25. |
Primitiv-rekursive Funktionen | 25.01.10 | ||
|
26. |
Primitiv-rekursive Funktionen |
an der Tafel |
27.01.10 | |
|
27. |
μ-Rekursive Funktionen | 1.02.10 | ||
|
28. |
Monaden (Teil III) | 3.02.10 | ||
|
29. |
Backtracking | 5.02.10 | ||
|
30. |
Wiederholung einiger Themen | 8.02.10 | ||
|
31. |
Klausur | 10.02.10 |