21. September 2009
Hier sind die Aufgaben für das Tutorium.
Und hier sind die Lösungen.
Noch mehr Lösungen gibts hier.

GLoLoP-Aufgaben

• Martin Gropps GLoLoP-Seite
• Lösung zu Aufgabe 3 auf Blatt 7 (Wahrheitswertetafel in Prolog).
• Wer sich im Labyrinth verirrt hat, darf hier klicken.
• Kreuz-Kringel-Kalkül in Prolog (Aufgabe 9-3)
• Lösung 1, Lösung 2 (von Martin Gropp), Lösung 3 zu Aufgabe 4 auf Blatt 6 (Acht Damen)
• Lösung von Martin Gropp zu Aufgabe 1b auf Blatt 9 (ESK-Kalkül).
• Lösungsvorschlag zu Aufgabe 3 auf Blatt 5
• 10 Prolog-Fingerübungen (Aufgaben mit Lösungen - ergänzt am 11.06.09)
• Fallstricke der Rekursion (Überlegungen zu Aufgabe 4 auf Blatt 3)
• Rekursion und Listen
• Lösungsvorschlag zur Mensa-Aufgabe auf Blatt 4.
• Lösung zum "Einstein-Rätsel" von Martin Gropp.
• Zugverbindungen in Prolog zum experimentieren. (nach dem Fuchs-Tutorial)
• Lösungsvorschlag (korrigierte Fassung - 18.05.09) zu Aufgabe 3a auf Blatt 2

Online-Tutorials und Infos zu Prolog

• Wikipedia: Prolog
• Einführung in die Programmiersprache PROLOG (Videos und Pdfs)
• Prolog-Tutorial (Norbert Fuchs)
• Learn Prolog Now!
• Ninety-Nine Prolog Problems

Dialogische Logik

• Anmerkungen zum Inhetveen-Buch von Martin Gropp
  mit ausführlicher Erklärung der Partikelregeln im Dialog
• Dialogische Logik (Wikipedia)
• Dialogical Logic (Stanford Encyclopedia of Philosophy)
• Constructive Interpretation of Logic (Stanford Encyclopedia of Philosophy)

Links

• Structure and Interpretation of Computer Programs
  Course Description:
  "This course introduces students to the principles of computation.
  Upon completion of 6.001, students should be able to explain and apply the basic methods
  from programming languages to analyze computational systems,
  and to generate computational solutions to abstract problems."
• Martin Gropps GLoLoP-Seite
• Seite zur Vorlesung mit den Folien und vielen Links / Literaturempfehlungen
• Seite zur Übung (mit den Übungsblättern)
• FSI-Forum - GLoLoP

Software

• SWI Prolog

"Dieses Tertium non datur dem Mathematiker zu nehmen,
wäre etwa, wie wenn man dem Astronomen das Fernrohr
oder dem Boxer den Gebrauch der Fäuste untersagen wollte."
-- David Hilbert