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, 11.10.2012:
- Kapitel 0: Informationen zur Vorlesung / Organisatorisches
(Folie 0-1 bis 0-32)
Kapitel 1: Einführung
(Folie 1-1 bis 1-20)
...
- 2. Donnerstag, 18.10.2012:
- Kapitel 1: Einführung
(Folie 1-20 bis 1-88)
...
- 3. Donnerstag, 25.10.2012:
- Kapitel 2: Grundlagen der Prädikatenlogik
(Wiederholung) (Folie 2-1 bis 2-73)
...
- 4. Donnerstag, 01.11.2012:
- Kapitel 3: "Pure Prolog"
(Folie 3-1 bis 3-50)
...
- 5. Donnerstag, 08.11.2012:
- Kapitel 3: "Pure Prolog"
(Folie 3-50 bis 3-100)
...
- 6. Donnerstag, 15.11.2012:
- Kapitel 3: "Pure Prolog"
(Folie 3-100 bis 3-148)
...
- 7. Donnerstag, 22.11.2012:
- Kapitel 4: Eingebaute Prädikate
(Folie 4-1 bis 4-82)
...
- 8. Donnerstag, 29.11.2012:
- Kapitel 5: Praktische Prolog-Programmierung
(Folie 5-1 bis 5-80)
...
- 9. Donnerstag, 06.12.2012:
- Kapitel 6: Bottom-Up Auswertung
(Folie 6-1 bis 6-79)
...
- 10. Donnerstag, 13.12.2012:
- Kapitel 7: Magische Mengen
(Folie 7-1 bis 7-105)
...
- 11. Donnerstag, 20.12.2012:
- Kapitel 8: Nichtmonotone Negation
(Folie 8-1 bis 8-48)
...
- 12. Donnerstag, 10.01.2013:
- Kapitel 9: Answer Set Programmierung
(?)
...
- 13. Donnerstag, 17.01.2013:
- Kapitel 10: Constraint Logic Programming
(?)
...
- 14. Donnerstag, 24.01.2013:
- Kapitel 11: Integritätsüberwachung,
Propagierung von Änderungen
(?)
...
- 15. Donnerstag, 31.01.2013:
- Kapitel 12: Implementierung von Prolog /
weitere logische Programmiersprachen / Reserve
(?)
...
Stefan Brass
(brass@informatik.uni-halle.de),
10. Oktober 2012
Original URL:
http://www.informatik.uni-halle.de/~brass/lp12/ablauf.html
[XHTML 1.0 Checked]
[CSS Checked]
[Links Geprüft]
[Impressum]