piwik-script

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

    Logikprogrammierung

    Titel:Logikprogrammierung
    Typ:Vorlesung mit Übung
    Kürzel / Nr:10-I=LP
    SWS / LP:2V+2Ü / 5LP
    Dozent:Dietmar Seipel
    Betreuer:Falco Nogatz
    Termine:Vorlesung:
    Dienstag, 14 bis 16 Uhr, SE 10 (ehemalige TB Physik)
    Übung:
    siehe WueCampus
    Lernplattform:Die Veranstaltung wird mit Hilfe der Lernplattform WueCampus durchgeführt. Bitte registrieren Sie sich hier.
    Prüfungstermine:siehe WueCampus
    Beschreibung

    Die Vorlesung Logikprogrammierung führt in das alternative, logisch-relationale Programmierparadigma der logischen Programmiersprachen ein. Hier werden Berechnungen durch Regeln definiert. Ihre Top-Down-Abarbeitung mit Hilfe der SLD-Resolution ist Basis für den populärsten Vertreter Prolog, das als Teil der Vorlesung vorgestellt wird. Sie bildet so das Gegenstück zur Vorlesung Deduktive Datenbanken, die die Bottom-Up-Anwendung von Hornklauseln in deduktiven Datenbanksystemen beleuchtet.

    Die Vorlesung deckt sowohl formale als auch praktische Aspekte ab. Die Übung ermöglicht es, praktische Erfahrungen mit einer der wichtigsten deklarativen Programmiersprachen zu sammeln. Die Übungen beinhalten sowohl theoretische als auch programmier-praktische Aufgaben. Neben Prolog werden auch weitergehende Konzepte wie Constraint Logic Programming und Constraint Handling Rules eingeführt.

    Unterrichtssprache:Deutsch
    Turnus:Wintersemester, unregelmäßig
    Niveau:Weiterführend
    Inhalt:Syntax und Semantik von Logikprogrammen; Auswertungsmethoden für Prolog; Default Negation; Anwendungen von Prolog und anderen logischen Programmiersprachen.
    Lernergebnisse:Die Studierenden verfügen über Kompetenzen im Umgang mit Prolog (inklusive Negation) und zugehörigen Bibliotheken.

    Hinweis zum Datenschutz

    Mit 'OK' verlassen Sie die Seiten der Universität Würzburg und werden zu Facebook weitergeleitet. Informationen zu den dort erfassten Daten und deren Verarbeitung finden Sie in deren Datenschutzerklärung.

    Hinweis zum Datenschutz

    Mit 'OK' verlassen Sie die Seiten der Universität Würzburg und werden zu Twitter weitergeleitet. Informationen zu den dort erfassten Daten und deren Verarbeitung finden Sie in deren Datenschutzerklärung.

    Kontakt

    Lehrstuhl für Informatik I (Effiziente Algorithmen und wissensbasierte Systeme)
    Am Hubland
    97074 Würzburg

    Tel.: +49 931 31-85054
    E-Mail

    Suche Ansprechpartner

    Hubland Süd, Geb. Z8
    Hubland Süd, Geb. Z8
    Hubland Süd, Geb. M2
    Hubland Süd, Geb. M2