Multi Search Add Bookmark! Make MetaStrike Your Homepage

Home:   World:   Deutsch:   Wissenschaft:   Mathematik:   Grundlagen

Related Caregory:

Fakultäten und Institute

See Olso:

Funktionentheorie

Other Category:

World: Deutsch: Wissenschaft: Geisteswissenschaften: Philosophie: Logik

Sites:

Zahlentheorie, Elliptische Kurven und Kryptographie  - http://www.mi.uni-erlangen.de/~ruppert/  Eine Skriptsammlung der Universität Erlangen-Nürnberg.  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.  Vorlesungsskripten in mathematischer Logik an der Universität Münster  - http://wwwmath.uni-muenster.de/math/inst/logik/publ/lec/index.html  Die Skripten sind zu den Themen Einführung in die klassische Prädikatenlogik, Berechenbarkeitstheorie sowie Mengenlehre.  Die Herkunft der Mathematik  - http://hometown.aol.de/astbadabbach/DieHerkunftderMathematik.html  Neue, interessante und einfach logische mathematisch und geometrische Entdeckungen.  Mathematische Logik  - http://www.math.uni-bonn.de/people/logic/#lectures  Eine Sammlung von Skripten zu den Themen Logik und Mengenlehre.  Autologic  - http://home.pages.at/autologic/  AutoLogic ist ein Java-Applet, welches aussagenlogische Formeln auswerten kann. Das Ergebniss wird mittels einer Wahrheitstafel dargestellt.