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: 18.4.2023
- Übungen: 20.4.2023
Modus: in Präsenz
Agenda:
Datum | Vorlesung | Übung | ||
---|---|---|---|---|
18.4./20.4 | Blatt 1 / Organisatorisches | |||
25.4/27.4 | V1: Prolog: Relationale und Deduktive Datenbanken | |||
2.5/4.5 | V2: Prolog: Rekursive Strukturen | |||
9.5/11.5 | V3: Prolog: Aktive Strukturen (in NLP) | - / Blatt 3 | ||
16.5/18.5 | V4: Prolog: Erweiterungen I | Blatt 4 / Keine Besprechung (Christi Himelfahrt) | ||
23.5/25.5 | V5: Prolog: Erweiterungen II | - / Blatt 4 | ||
30.5/1.6 |
| Blatt 5 / keine Besprechung (Dienstreise) | ||
6.6/8.6 | V7: Prolog: Logische Grundlagen II | Blatt 6 / Blatt 5 | ||
13.6/15.6 | V8: Constraint Programming (CP) I | Blatt 7 / Blatt 6 | ||
20.6/22.6 | V9: Constraint Programming (CP) II | Blatt 8 / Blatt 7 | ||
27.6/29.6 | V10: Constraint Programming (CP) III | Blatt 9 / Blatt 10 | ||
4.7/6.7 | V11: Constraint Programming (CP) IV | Blatt 10 / Blatt 9 | ||
11.7/13.7 |
| Blatt 11 / Blatt 10 | ||
18.7/20.7 | Fragestunde | kein neues Blatt /Blatt 11 | ||
25.7/27.7 | Klausur-Vorbereitung | keine Übung | ||
2.8 | 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.