2022 S: 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 1.6.2022, 16h c.t. EAEG19 complang-Labor
• Termine: voraussichtlich Mi, 16-19h 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 2021S, 2019W, 2018W, 2018S, 2017S, 2016W, 2015S, 2014S, 2013W