2024 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 29.5.2024, 16h c.t. EI 2
• Termine: voraussichtlich Mi, 16-19h im complang-Labor
• Ab Mittwoch 5.6.2024, 16h c.t. complang-Labor
• Mündliche Prüfung im Anschluß (26.6.)
• Übungsbeispiele werden weiter fortgesetzt.
• Unterlagen
• externer Zugang
• Lambda-Ausdrücke, Vortragsfolien
• Monotone Verzweigungen, Indexing dif/2
• ISO Prolog,
• Empfehlenswerte Literatur: PNLA
• Zusätzliche Informationen
• Alte Aushänge 2022W, 2022S, 2021S, 2019W, 2018W, 2018S, 2017S, 2016W, 2015S, 2014S, 2013W