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

 

 

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. Mittwoch, 08.04.2015:
Kapitel 0: Informationen zur Vorlesung / Organisatorisches (Folie 0-1 bis 0-33)
Kapitel 1: Einführung (Folie 1-1 bis 1-38)
...
2. Mittwoch, 15.04.2015:
Kapitel 1: Einführung (Folie 1-38 bis 1-60)
...
3. Mittwoch, 22.04.2015:
Kapitel 1: Einführung (Folie 1-64 bis 1-88)
Kapitel 2: Grundlagen der Prädikatenlogik (Wiederholung) (Folie 2-59 bis 2-73)
Kapitel 3: Pure Prolog (Wiederholung) (Folie 3-1 bis 3-20)
...
4. Mittwoch, 29.04.2015:
Kapitel 3: "Pure Prolog" (Folie 3-1 bis 3-35)
...
5. Mittwoch, 06.05.2015:
Kapitel 3: "Pure Prolog" (Folie 3-35 bis 3-89)
...
6. Mittwoch, 13.05.2015:
Kapitel 3: "Pure Prolog" (Folie 3-78 bis 3-100)
...
7. Mittwoch, 20.05.2015:
Kapitel 3: "Pure Prolog" (Folie 3-99 bis 3-121)
...
8. Mittwoch, 27.05.2015:
Kapitel 3: "Pure Prolog" (Folie 3-122 bis 3-148)
...
9. Mittwoch, 03.06.2015:
Kapitel 4: Eingebaute Prädikate (Folie 4-1 bis 4-38)
...
10. Mittwoch, 10.06.2015:
Kapitel 4: Eingebaute Prädikate (Folie 4-38 bis 4-58)
...
Kapitel 5: Praktische Prolog-Programmierung (Folie 5-1 bis 5-30)
...
11. Mittwoch, 17.06.2015:
Kapitel 5: Praktische Prolog-Programmierung (Folie 5-21 bis 5-70)
...
12. Mittwoch, 24.06.2015:
Kapitel 4: Eingebaute Prädikate (Folie 4-59 bis 4-82)
...
Kapitel 6: Bottom-Up Auswertung (Folie 6-1 bis 6-34)
...
13. Mittwoch, 01.07.2015:
Kapitel 6: Bottom-Up Auswertung (Folie 6-34 bis 6-79)
...
Kapitel 7: Magische Mengen (Folie 7-1 bis 7-105)
...
14. Mittwoch, 08.07.2015:
Kapitel 8: Nichtmonotone Negation (Folie 8-1 bis 8-48)
...
15. Mittwoch, 15.07.2015:
Kapitel 9: Answer Set Programmierung (?)
...
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), 01. April 2015

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