Vorlesung Logik und Grundlagen der Mathematik SS 2000
Ort und Zeit
Montag und Donnerstag von 13.45 bis 15.15 Uhr, Raum 103
Skriptum
Warnung: Das Skriptum entsteht parallel zur Vorlesung und
enthält daher mit Sicherheit Fehler.
Falls Sie Fehler finden oder
sonstige Verbesserungsvorschläge haben, teilen Sie es mit bitte mit
oder schicken Sie mir eine E-Mail an
seiler@math.uni-mannheim.de.
- bis Seite 32
Prolog-Programme
Die in der Vorlesung vorgeführten Programme laufen unter
SWI-Prolog,
einer Implementierung der Abteilung
für sozialwissenschaftliche Informatik an der psychologischen
Fakultät der Universität Amsterdam, die von dort
sowohl
für Linux als auch für Windows erhältlich ist.
In SuSE Linux und möglicherweise auch einigen anderen Portierungen
ist SWI-Prolog bereits enthalten.
- Programm zur Auflistung aller regelgerechter
Syllogismen
- Programm zum Beweis der Syllogismen
- Programm zur Überprüfung zweistelliger Junktoren auf
modus barbara