2022 W: Fortgeschrittene logische Programmierung 185.A25

• Ehemals:
  • 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 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 14.12.2022, 12h c.t. EI 2
• Termine: voraussichtlich Mi, 13-18h im complang-Labor
• Mündliche Prüfung im Anschluß
• Übungsbeispiele werden weiter fortgesetzt.
• Unterlagen
• externer Zugang
• Lambda-Ausdrücke, Vortragsfolien
• Monotone Verzweigungen.
• Empfehlenswerte Literatur: PNLA
• Zusätzliche Informationen
• Alte Aushänge 2022S, 2021S, 2019W, 2018W, 2018S, 2017S, 2016W, 2015S, 2014S, 2013W