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

 

 

Logische Programmierung und deduktive Datenbanken

Ablauf (Planung der zeitlichen Aufteilung)

Hier wird eine ungefähre Übersicht gegeben, wann welcher Stoff behandelt werden soll. Im Laufe des Semesters ist beabsichtigt, die Liste zu aktualisieren, und den tatsächlich behandelten Stoff einzutragen. Selbstverständlich sind alle Angaben unverbindlich.

1. Donnerstag, 10.04.2014:
Kapitel 0: Informationen zur Vorlesung / Organisatorisches (Folie 0-1 bis 0-32)
Kapitel 1: Einführung (Folie 1-1 bis 1-43)
...
2. Donnerstag, 17.04.2014:
Kapitel 1: Einführung (Folie 1-44 bis 1-88)
...
3. Donnerstag, 24.04.2014:
Kapitel 2: Grundlagen der Prädikatenlogik (Wiederholung) (Folie 2-1 bis 2-73)
...
4. Donnerstag, 08.05.2014:
Kapitel 3: "Pure Prolog" (Folie 3-1 bis 3-50)
...
5. Donnerstag, 15.05.2014:
Kapitel 3: "Pure Prolog" (Folie 3-50 bis 3-100)
...
6. Donnerstag, 22.05.2014:
Kapitel 3: "Pure Prolog" (Folie 3-100 bis 3-148)
...
7. Donnerstag, 05.06.2014:
Kapitel 4: Eingebaute Prädikate (Folie 4-1 bis 4-82)
...
8. Donnerstag, 12.06.2014:
Kapitel 5: Praktische Prolog-Programmierung (Folie 5-1 bis 5-80)
...
9. Donnerstag, 19.06.2014:
Kapitel 6: Bottom-Up Auswertung (Folie 6-1 bis 6-79)
...
10. Donnerstag, 26.06.2014:
Kapitel 7: Magische Mengen (Folie 7-1 bis 7-105)
...
11. Donnerstag, 03.07.2014:
Kapitel 8: Nichtmonotone Negation (Folie 8-1 bis 8-48)
...
12. Donnerstag, 10.07.2014:
Kapitel 9: Answer Set Programmierung (?)
...
13. Donnerstag, 17.07.2014:
Kapitel 10: Constraint Logic Programming (?)
...
Kapitel 11: Integritätsüberwachung, Propagierung von Änderungen (?)
...
Kapitel 12: Implementierung von Prolog / weitere logische Programmiersprachen (?)
...

 


Stefan Brass (brass@informatik.uni-halle.de), 09. April 2014

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