Algebra WorkBench
Dies ist die offizielle Website zu Markus Sprengers mathematischen Programm Algebra WorkBench (AWB). Hier können Sie die neueste version von AWB sowie eine Auswahl von Beispielmakros herunterladen. Sie können mehr über den mathematischen Hintergrund der AWB nachlesen. Ausserdem finden Sie hier auch Programm Dokumentation zur AWB.
Wir freuen uns auch über Ihr Feedback, feature requests und allfällige Fehlermeldungen (bug reports).
News
- 29. Juni 2009: Prüfungsstoff "Mathematische Logik" für Herbst 2009
- 1. Juli 2008: Prüfungsstoff "Mathematische Logik" für Herbst 2008
- 9. März 2008: Endlich! Wir haben ein funktionierendes Forum!
- 3. März 2008: Skriptum zur Vorlesung "Highlights in Logic" (Proff. G. Jäger, J. Schmid):
"Block 1 - First-Order Logic FOL" (Pdf, 300 KB), korrigierte Version. - Skripte zur Vorlesung "Mathematische Logik" von Prof. Jürg Schmid:
Erster Teil - "Introduction to Mathematical Logic" (Pdf, 660 KB)
Zweiter Teil - "Model Theory, Universal Algebra and Logic" (Pdf, 1.44 MB) - 7. August 2006: AWB Version 2.0 ist bereit zum Download.