2024 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 11.12.2024, 16h c.t. EI 2
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
,
Indexing dif/2
ISO Prolog
,
Empfehlenswerte Literatur:
PNLA
Zusätzliche Informationen
Alte Aushänge
2024S
,
2022W
.
Ulrich Neumerkel