Differences between revisions 2 and 4 (spanning 2 versions)
⇤ ← Revision 2 as of 2011-10-03 00:25:55 →
Size: 309
Editor: Harald Vajkonny
Comment: zahlendreher
← Revision 4 as of 2011-10-03 00:31:05 → ⇥
Size: 423
Editor: Harald Vajkonny
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

lugfrankfurt: Programmierworkshop/Haskell/termine/2011-12-17/verlauf (last edited 2011-12-28 18:30:22 by Harald Vajkonny)