2017 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 17.5.2017, 16h c.t. HS 17
- Termine: Mi, 16-19 in meinem Büro, nicht am 31.5., Argentinierstraße 8.
- 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
2016W,
2015S,
2014S,
2013W
Ulrich Neumerkel