piwik-script

English Intern
    Lehrstuhl für Informatik I - Algorithmen und Komplexität

    Deduktive Datenbanken

    Hinweis: Die Vorlesung Deduktive Datenbanken findet im Sommersemester 2018 erstmals als 5LP-Vorlesung statt. Zusätzlich wird ab Wintersemester 2018/19 die Vorlesung "Logische Programmierung" angeboten.

    Titel: Deduktive Datenbanken
    Typ: Vorlesung mit Übung
    Kürzel / Nr: 10-I=DDB / 129921
    SWS / LP: 2V+2Ü / 5LP
    Dozent: Dietmar Seipel
    Betreuer: Daniel Weidner
    Termine: Vorlesung:
    Dienstags, 14 bis 16 Uhr
    Hörsaal 4 (Naturwissenschaftlicher Hörsaalbau)
    Übung:
    (tba.)
    Lernplattform: Die Veranstaltung wird mit Hilfe der Lernplattform WueCampus durchgeführt. Bitte registrieren Sie sich hier.
    Prüfungstermine: (tba)
    Beschreibung
    Unterrichtssprache: Deutsch
    Turnus: jedes Sommersemester
    Niveau: Weiterführend
    Inhalt: Syntax und Semantik von Logikprogrammen; Auswertungsmethoden für Datalog; Negation und Stratifizierung; Disjunktive Logikprogramme.
    Lernergebnisse: Die Studierenden verfügen über Kompetenzen im Umgang mit Datalog (inklusive Negation und Disjunktion).