  |
Mathematische Logik - http://www.math.uni-bonn.de/people/logic/#lectures
Eine Sammlung von Skripten zu den Themen Logik und Mengenlehre. |
| |
Mathematische Scripta an der Universität Linz - http://shrimp.bayou.uni-linz.ac.at/Teach/scriptum.html
Die Seite beinhaltet einige Skripten zu verschiedenen mathematischen Problemen und Bereichen. Die Dokumente sind im GZIP-Format sowie im PS-Format vorrätig. |
| |
Zahlentheorie, Elliptische Kurven und Kryptographie - http://www.mi.uni-erlangen.de/~ruppert/
Eine Skriptsammlung der Universität Erlangen-Nürnberg. |
| |
Autologic - http://home.pages.at/autologic/
AutoLogic ist ein Java-Applet, welches aussagenlogische Formeln auswerten kann. Das Ergebniss wird mittels einer Wahrheitstafel dargestellt. |