2021 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 2.6.2021, 16h c.t. EAEG19 complang-Labor
- Termine: Mi, 16-19h in meinem Büro
- 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
2019W,
2018W,
2018S,
2017S,
2016W,
2015S,
2014S,
2013W
Ulrich Neumerkel