Web Directory

» Autologic
   AutoLogic ist ein Java-Applet, welches aussagenlogische Formeln auswerten kann. Das Ergebniss wird mittels einer Wahrheitstafel dargestellt.
   http://home.pages.at/autologic/

» Basiswissen Angewandte Mathematik
   Es findet sich ein Tool zum Generieren von Aufgaben aus den Numerik-, Grafik- und Krypto-Grundlagenbereichen, deren Lösungen man sich ebenfalls per Knopf-Druck ansehen kann.
   http://www.inf.fh-dortmund.de/personen/professoren/lenze/index-ama.html

» Die Herkunft der Mathematik
   Neue, interessante und einfach logische mathematische und geometrische Entdeckungen.
   http://www.dieherkunftdermathematik.de/

» Mathematische Logik
   Eine Sammlung von Skripten zu den Themen Logik und Mengenlehre.
   http://www.math.uni-bonn.de/people/logic/#lectures

» Mathematische Scripta an der Universität Linz
   Die Seite beinhaltet einige Skripten zu verschiedenen mathematischen Problemen und Bereichen. Die Dokumente sind im GZIP-Format sowie im PS-Format vorrätig.
   http://shrimp.bayou.uni-linz.ac.at/Teach/scriptum.html

» Vorlesungsskripten in mathematischer Logik an der Universität Münster
   Die Skripten sind zu den Themen Einführung in die klassische Prädikatenlogik, Berechenbarkeitstheorie sowie Mengenlehre.
   http://wwwmath.uni-muenster.de/logik/Veroeffentlichungen/lec/index.html

» Zahlentheorie, Elliptische Kurven und Kryptographie
   Eine Skriptsammlung der Universität Erlangen-Nürnberg.
   http://www.mi.uni-erlangen.de/~ruppert/