Logikprogrammierung (CS3055-KP04)
Dozent: PD Dr. rer. nat. Özgür Özcep
Umfang:
2 SWS Vorlesung
1 SWS Übung
Zeit und Ort:
- Vorlesung: Di, 10:15-11:45, IFIS 2035
- Übungen:
- Gruppe 1: Do, 8:15-9:00, IFIS 2035
- Gruppe 2: Do, 9:15-10:00, IFIS 2035
Beginn:
- Vorlesung: 5.4.2022
- Übungen: 7.4.2022
Modus: in Präsenz
Agenda:
Datum | Vorlesung | Übung | ||
---|---|---|---|---|
5.4./7.4 | ||||
12.4/14.4 | V1: Prolog: Relationale und Deduktive Datenbanken | Blatt 2 / Blatt 1 | ||
19.4/21.4 | V2: Prolog: Rekursive Strukturen | Blatt 3 / Blatt 2 | ||
26.4/28.4 | V3: Prolog: Aktive Strukturen (in NLP) | Blatt 4 / Blatt 3 | ||
3.5/5.5 | V4: Prolog: Erweiterungen I | Blatt 5 / Blatt 4 | ||
10.5/12.5 | V5: Prolog: Erweiterungen II | Blatt 6 / Blatt 5 | ||
17.5/19.5 |
| Blatt 7 / Blatt 6 | ||
24.5/26.5 | V7: Prolog: Logische Grundlagen II | |||
31.5/2.6 | V8: Constraint Programming (CP) I | Blatt 8 / Blatt 7 | ||
7.6/9.6 | V9: Constraint Programming (CP) II | Blatt 9 / Blatt 8 | ||
14.6/16.6 | V10: Constraint Programming (CP) III | Blatt 10 / Blatt 9 | ||
21.6/23.6 | V11: Constraint Programming (CP) IV | Blatt 11/ Blatt 10 | ||
28.6/30.6 | V12: Defaultschließen I | Blatt 12 / Blatt 11 | ||
5.7/7.7 | V13: Defaultschließen II | kein neues Blatt /Blatt 12 | ||
12.7/14.7 | QA | |||
20.7 | 1. Klausur | |||
Weitere Informationen und Unterlagen zur Veranstaltung (Skripte, Einteilung der Übungsgruppen, Übungsmaterial, etc.) erhalten Sie im Moodle der Universität zu Lübeck.
Die Selbsteinschreibung zu dieser Veranstaltung erfolgt in Moodle.