2015 S: Fortgeschrittene logische Programmierung 185.A25

• aufbauend auf Logikprogrammierung und Constraints
  • 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 20.5.2015, 16h c.t. HS 17
• Termine: (werden bei Vorbesprechung festgelegt)
• 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 2014S, 2013W