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]