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)

 Vorlesung

Übung
(bereitgestelltes Blatt/Thema der Sitzung)

18.4./20.4

V0: Einführung

Blatt 1  / Organisatorisches

25.4/27.4

V1: Prolog: Relationale und Deduktive Datenbanken

Blatt 2 / Blatt 1


2.5/4.5

V2: Prolog: Rekursive Strukturen

Blatt 3 / Blatt 2

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

 

V6: Prolog: Logische Grundlagen I
 

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

 

V12: Constraint Programming (CP) V

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.