Logikprogrammierung (CS3055-KP04)
Dozent: PD Dr. rer. nat. Özgür Özcep
Umfang:
2 SWS Vorlesung
1 SWS Übung
Zeit und Ort:
- Vorlesung: Online asynchron.
- Übungen: Online synchron
- Übungsgruppe 1: Donnerstags 14.15-15.00 Uhr über Big Blue Button (BBB) in Moodle
- Übungsgruppe 2: Donnerstags 16.30-17.15 Uhr über Big Blue Button (BBB) in Moodle
Beginn:
- Vorlesung: 8.4.2021, 14.15-15.00 Uhr
(Zur Vorbesprechung gibt es ausnahmsweise online synchron eien sitzung am 8.4.2021 in der einmalig zu nutzenden BBB-Aktivität Vorlesung Logikprogrammierung im Slot 14.15-15.00 Uhr
- Übungen: 15.4.2021 (BBB)
Modus:
- Vorlesung
- Die Vorlesung wird asynchron online angeboten. Vorlesungsmaterialien (Folien und Videos) werden online im Moodle zur Verfügung gestellt. Fragen zur Vorlesung können in den Übungsgruppen beantwortet werden.
- Übungen werden als Big-Blue-Button-Aktivität in Moodle durchgeführt
Agenda:
Datum | Bereitgestellte Vorlesung | Übung |
---|---|---|
1.4. | V0: Organisation und Einführung | |
8.4 | V1: Prolog: Deduktive Datenbanken | Organisatorisches |
15.4 | V2: Prolog: Rekursive Strukturen | Blatt 1 |
22.4 | V3: Prolog: NLP | Blatt 2 |
29.4 | V4: Prolog: Logische Grundlagen | Blatt 3 |
6.5 | V5: Prolog: Erweiterungen | Blatt 4 |
13.5 | Feiertag: Christi Himmelfahrt | |
20.5 | V6: Magic Set Verfahren | Blatt 5 |
27.5 | V7: Constraint Satisfaction Problems I | Blatt 6 |
3.6 | V8: Constraint Satisfaction Problems II | Blatt 7 |
10.6 | FÄLLT AUS | |
17.6 | V9: Tutorial Wahrscheinlichkeitstheorie | Blatt 8 |
24.6 | V10: Probabilistic Logic Programming I | Blatt 9 |
1.7 | V11: Probabilistic Logic Programming II | Blatt 10 |
8.7 | V12: Probabilistic Logic Programming III | Blatt 11 |
15.7 | Klausurvorbereitung | |
21.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.