Logikprogrammierung (CS3055-KP04)


Dozent: PD Dr. rer. nat. Özgür Özcep

 

Umfang: 
2 SWS Vorlesung
1 SWS Übung

Zeit und Ort:

  • Vorlesung: Online asynchron.
    • Ü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