piwik-script

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

    Neue Vorlesung "Logikprogrammierung" im Wintersemester

    09.09.2018

    Im anstehenden Wintersemester bietet unser Lehrstuhl um Professor Seipel erstmals die Vorlesung "Logikprogrammierung" an.

    Logo von "Playing with Prolog", www.youtube.com/channel/UCfWpIHmy5MEx2p9c_GJrE_g

    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 und richtet sich vorwiegend an Masterstudierende der Informatik (5 ECTS). Sie ging aus der ehemals 8 ECTS umfassenden Vorlesung Deduktive Datenbanken hervor, die im zurückliegenden Sommersemester dafür erstmals als 5-ECTS-Vorlesung abgehalten wurde. Die Vorlesung von Prof. Seipel findet dienstags 14 Uhr im SE 10 (ehemalige TB Physik) statt.

    Die Übungen ermöglichen es, praktische Erfahrungen mit einer der wichtigsten deklarativen Programmiersprachen zu sammeln. Die Übungen beinhalten sowohl theoretische als auch programmier-praktische Aufgaben. Sie werden von Falco Nogatz betreut und finden voraussichtlich donnerstags 10 Uhr im SE 10 statt. Neben Prolog werden auch weitergehende Konzepte wie Constraint Logic Programming (CLP) und Constraint Handling Rules (CHR) eingeführt.

    Zurück

    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. M2