Size: 309
Comment: zahlendreher
|
Size: 423
Comment:
|
Deletions are marked like this. | Additions are marked like this. |
Line 3: | Line 3: |
Haskell-Grundlagen III | Haskell-Grundlagen IV * Funktionen Höherer Ordnung * Übungen zu Parsing |
Line 5: | Line 7: |
* Funktionen Höherer Ordnung | |
Line 14: | Line 15: |
=== Exkurse === * Lambda-Kalkül * Formale Logik * Mathematik und Philosophie |
Vorträge
Haskell-Grundlagen IV
- Funktionen Höherer Ordnung
- Übungen zu Parsing
- Interaktion
- Typdeklaration
- Lazy Evaluation
- Programmbeweis
Ausblick
- Haskell-Vertiefung
- Common LISP
- Clojure
Exkurse
- Lambda-Kalkül
- Formale Logik
- Mathematik und Philosophie