Logik für Informatiker - Übungen
Aufgaben
| Übungsblatt | Ausgeteilt | Abgabe |
|---|---|---|
| Übungsblatt 1 | Fr, 26. Oktober | Di, 30. Oktober |
| Übungsblatt 2 | Di, 30. Oktober | Di, 6. November |
| Übungsblatt 3 | Di, 6. November | Di, 13. November |
| Übungsblatt 4 | Di, 13. November | Di, 20. November |
| Übungsblatt 5 | Di, 20. November | Di, 27. November |
| Übungsblatt 6 | Di, 27. November | Di, 4. Dezember |
| Übungsblatt 7 | Di, 4. Dezember | Di, 11. Dezember |
| Übungsblatt 8 | Di, 11. Dezember | Di, 18. Dezember |
| Übungsblatt 9 | Di, 18. Dezember | Di, 8. Januar |
| Übungsblatt 10 | Di, 8. Januar | Di, 15. Januar |
| Übungsblatt 11 | Di, 15. Januar | Di, 22. Januar |
| Übungsblatt 12 | Di, 22. Januar | Di, 29. Januar |
| Übungsblatt 13 | Di, 29. Januar | Di, 5. Februar |
| Übungsblatt 14 | Di, 5. Februar | Di, 12. Februar |
Zusätzliche Dateien
Übungsblatt 9
Für Übungsaufgabe 9.4 benötigen Sie den automatischen Theorembeweiser Prover9 (Download von Sourcen, Windows-Binary und Linux-Binary, Anleitung und Beispiele).
Die Eingabedateien an Prover9 haben (grob) die folgende Form:
formulas(assumptions). <Annahme 1>. ... <Annahme n>. end_of_list. formulas(goals). <Behauptung 1>. ... <Behauptung k>. end_of_list.Näheres finden Sie in der mitgelieferten Anleitung.
Der Aufruf von Prover9 erfolgt, sofern die ausführbare Datei im Dateipfad liegt, mit diesem Kommando:
prover9 -f <infile>
Übungsblatt 10
Für Übungsaufgabe 10.4 benötigen Sie die Prolog-Kodierung des London-Underground-Beispiels.
Einige Prolog-Interpreter:
- SICStus-Prolog (kommerziell, sollte aber im Pool auf den Sun-Rechnern nach Aufruf von "setup lang/sicstus" verfügbar sein und mit "sicstus" gestartet werden können)
- SWI-Prolog (frei)
- GNU-Prolog (frei)
- YAP-Prolog
Wenn Sie Fragen zu den Prolog-Interpretern haben, einfach nachfragen.
Übungsblatt 11
Für Übungsblatt 11 benötigen Sie die alternative Prolog-Kodierung des London-Underground-Beispiels.
Ein Lösungsvorschlag.
Übungsblatt 12
Für Übungsblatt 12 benötigen Sie die Definitionen aus blatt12.pl.
Ein Lösungsvorschlag.
Übungsblatt 14
Für Übungsblatt 14 benötigen Sie die Definitionen aus blatt14.tar.gz.
Prolog-Präsenzaufgaben aus den Übungsstunden
| Präsenzübungsblatt | Datum |
|---|---|
| Präsenzübungsblatt 1 | Do, 17. Januar |
| Präsenzübungsblatt 2 | Do, 24. Januar |
| Präsenzübungsblatt 3 | Do, 31. Januar |
| Präsenzübungsblatt 4 | Do, 7. Februar |
| Präsenzübungsblatt 5 | Do, 14. Februar |