Vorlesung | Thema | Datum | Zusätzliches Material |
---|---|---|---|
1. | Organisatorische Einführung | Mi. 17. 10. | |
2. | Einführung in Haskell | Mo. 22. 10. | |
3. | Tupel, Listen, Rekursion (Teil 1) | Mi.. 24. 10. | |
4. | Listen, Rekursion, Funktionstypen, Currying | Mo. 29. 10. | Zweierkomplement |
5. | Zweierkomplement | Mi. 31. 10. |
Vorlesung | Thema | Datum | Zusätzliches Material |
---|---|---|---|
6. | Funktionen Höherer Ordnung (Teil 1) | Mo. 05. 11. | |
7. | Sortieren und Suchen (Teil 1) | Mi. 07. 11. | |
8. | O-Notation, Sortieren (Teil 2) | Mo. 12. 11. | Hanoi-Turm |
9. | Funktionen Höherer Ordnung (Teil 2) | Mi. 14. 11. | |
10. | Algebraische Datentypen (Teil 1) | Mo. 19. 11. | |
11. | Algebraische Datentypen (Teil 2), Bäume (kurze Einführung) | Mi. 21. 11. | Tafelbild |
12. | Algebraische Datentypen (Teil 3), Abstrakte Datentypen | Mo. 26. 11. | SBTree.hs.zip BSTree.hs.zip |
13. | Huffman-Kodierung (Algorithmus) | Mi. 28. 11. |
Vorlesung | Thema | Datum | Zusätzliches Material |
---|---|---|---|
14. | Implementierung der Huffmann-Kodierung | Mo. 03. 12. | huffman_code.zip |
15. | Zwischenklausur | Mi. 05. 12. | |
16. | Induktion | Mo. 10. 12. | |
17. | Beispiele an der Tafel | Mi. 12. 12. | |
18. | Lambda-Kalkül (Teil I) | Mo. 17. 07. | |
19. | Lambda-Kalkül (Teil II) | Mi. 19. 07. |
Vorlesung | Thema | Datum | Zusätzliches Material |
---|---|---|---|
20. | Lambda-Kalkül (Teil III) (Beispiele an der Tafel) | Mo. 07. 01. | Lambda Calcul Tutorial (Rojas) |
21. | Lambda-Kalkül (Teil IV) (Parser) | Mi. 09. 01. | |
22. | Lambda-Kalkül (Interpreter) und Kombinatorische Logik | Mo. 14. 01. | LCI_V2..hs.zip
(Lambda-Interpreter) transform.hs.zip |
23. | Turing-Maschine (Teil I) | Mi. 16. 01. | |
24. | Turing-Maschine (Teil II) Die Universelle Turing-Maschine | Mo. 21. 01. | Vorlesungsbeispiel |
25. | Turing-Maschine (Teil III) Beispiele und Simulatoren | Mi. 23. 01. | TMS_V1.hs.zip UTM-Simulator |
26. | Halteproblem, Primitiv-rekursive Funktionen | Mo. 28. 01. | |
27. | Primitive-rekursive Funktionen (Haskell) | Mi. 30. 01. | PR_Funktions.hs.zip |
Vorlesung | Thema | Datum | Zusätzliches Material |
---|---|---|---|
28. | μ-Rekursive Funktionen, Register-Maschine | Mo. 04. 02. | |
29. | RM (Themenwiederholung) | Mi. 06. 02. | |
30. | Klausur | Mo. 11. 02. | |
31. | Klausureinsicht (Voraussichtlicher Termin) | Mi. 13. 02. | Lösungen |