Wintersemester 2012:
Fortgeschrittene logische Programmierung 185.A25
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 12.12.2012, 17h c.t. HS 17
• Termine: (werden bei Vorbesprechung festgelegt) Mittwoch 17h 9., 16., 22., 29.1.
• in meinem Büro, Argentinierstraße 8.
• Mündliche Prüfung im Anschluß
• Übungsbeispiele werden weiter fortgesetzt.
• Unterlagen
• externer Zugang
• die Lambda-Ausdrücke, Vortrag in deutscher Sprache
• Empfehlenswerte Literatur: PNLA
• Zusätzliche Informationen
• Alte Aushänge 2012W, 2010W, S, 2009W, S, 2008W, S, 2007W, S, 2006W, S