MARTIN-LUTHER-UNIVERSITÄT HALLE-WITTENBERG LOGISCHE PROGRAMMIERUNG UND DEDUKTIVE DB
Institut für Informatik Sommersemester 2017
Prof. Dr. Stefan Brass [StudIP: Vorlesung]

 

 

Logische Programmierung und deduktive Datenbanken

Allgemeine Informationen

 

Dies ist die Homepage der Vorlesung "Logische Programmierung und deduktive Datenbanken" an der Martin-Luther-Universität Halle-Wittenberg im Sommersemester 2017. Die Vorlesung hat 5 Leistungspunkte und 2+2 SWS. Sie ist u.a. für die Master-Studiengänge Informatik, Bioinformatik und Wirtschaftsinformatik gedacht. Genauere Angaben finden sich in der offiziellen Modulbeschreibung.

 

Aktuelles:

Die Vorlesung am 13. Juli fällt aus, ebenso die Übung in dieser letzten Semesterwoche. Wegen der ausgefallenen Vorlesungen gibt es noch zwei zusätzliche Vorlesungen am 24. Juli (über Magische Mengen) und am 07. August (über Negation), jeweils 10-12. Der Raum wird voraussichtlich 3.04 sein, eventuelle Änderungen werden noch bekanntgegeben. Beide Vorlesungen werden aufgezeichnet. Für die Prüfung können Sie sich eins der Themen aussuchen, das andere ist dann nicht prüfungsrelevenat. Es ist auch geplant, dass es noch einen freiwilligen Übungszettel gibt.

Aktuelles Übungsblatt: [h8_minmo.pdf] (Abgabe bis 12.6.2017 bzw. 14.6.2017).
[h9_bltin.pdf] (Abgabe bis 19.6.2017 bzw. 21.6.2017).

Wegen der zahlreichen Terminprobleme gibt es eine zweite Übungsgruppe Dienstags, 8-10.

 

Lernziele:

Dies ist eine Spezialvorlesung zu meinem Haupt-Forschungsthema. Nach erfolgreicher Teilnahme an dieser Vorlesung sollten die Teilnehmenden Folgendes können:

 

Inhalte (vorläufige Planung):

 


Stefan Brass (brass@informatik.uni-halle.de), 31. März 2017

URL: http://www.informatik.uni-halle.de/~brass/lp17/   [XHTML 1.0 Checked]   [CSS Checked]   [Links Geprüft]   [Impressum]