piwik-script

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

    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:Falco Nogatz
    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).