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)

 Vorlesung

Übung
(bereitgestelltes Blatt/Thema der Sitzung)

5.4./7.4

V0: Einführung

Blatt 1 / Organisatorisches

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

 

V6: Prolog: Logische Grundlagen I

Blatt 7 / Blatt 6

24.5/26.5

V7: Prolog: Logische Grundlagen II


Christi Himmelfahrt

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