| |
|
 |
|
» Autologic 
AutoLogic ist ein Java-Applet, welches aussagenlogische Formeln auswerten kann. Das Ergebniss wird mittels einer Wahrheitstafel dargestellt.
http://home.pages.at/autologic/
|
 |
|
» Die Herkunft der Mathematik
Neue, interessante und einfach logische mathematisch und geometrische Entdeckungen.
http://hometown.aol.de/astbadabbach/DieHerkunftderMathematik.html
|
 |
|
» 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
|
|
