Sommersemester 2010:
185.209 VL 2 Fortgeschrittene logikorientierte Programmierung
185.988 VO 1 Prolog und logikorientierte Programmierung
185.015 LU 2 Prolog und logikorientierte Programmierung

• aufbauend auf Logikorientierte Programmiersprachen/Programmierung
  • 185.209 VL : Prüfungsfach 937 Software Engineering/Internet Computing, Wahlfach 931 Computational Intelligence
  • 185.988 VO, 185.015 LU: Wahlfach im alten Studienplan Informatik 881
• Vorbesprechung/Beginn: Im Anschluß an logprog, Mittwoch 26.5.2010, 17h c.t. HS 17
• Termine: Di 17h: 1.6-29.6. in meinem Büro, Argentinierstraße 8.
• Mündliche Prüfung am 29.6.
• Übungsbeispiele werden weiter fortgesetzt.
• Unterlagen, Lambdas
• externer Zugang
• die neuen Lambda-Ausdrücke, Vortrag in deutscher Sprache
• Empfehlenswerte Literatur: PNLA
• CLPFD in SICStus
• Zusätzliche Informationen
• Alte Aushänge 2009W, 2009S, 2008W, 2008S, 2007W, 2006W, 2006S, 2007S