Eine Reise durch die Kerngebiete der mathematischen Logik
Buch - Autor(en): Dirk W. Hoffmann
Verlag: Spektrum Akademischer Verlag, 2011
Vorschau verfügbar
Ist die Mathematik frei von Widersprüchen? Gibt es Wahrheiten jenseits des Beweisbaren? Lässt sich das logische Denken mechanisieren? Ist es möglich, unser mathematisches Wissen in eine einzige Zahl hineinzucodieren?
Buch - Autor(en): Ralf-Dieter Schindler
Verlag: Springer, Berlin, 2009
Vorschau verfügbar
Das Buch vermittelt logisches Grundwissen, fundamentale Beweisprinzipien, Methoden und Einsichten, welche jede Mathematikerin/jeder Mathematiker besitzen sollte.
Wie Mathematiker Kugeln verdoppeln
Buch - Autor(en): Leonard M. Wapner
Verlag: Spektrum Akademischer Verlag, 2008
Vorschau verfügbar
Nehmen Sie einen Apfel und schneiden Sie ihn in fünf Teile. Würden Sie es für möglich halten, dass Sie diese fünf Teile so zusammensetzen können, dass Sie zwei Äpfel der gleichen Form und Größe wie der ursprüngliche erhalten?
Ein Lehrbuch
Buch - Autor(en): Wolfgang Rautenberg
Verlag: Vieweg+Teubner, 2008
Vorschau verfügbar
Dieses umfassende Lehrbuch wurde geschrieben für Studenten und Dozenten der Mathematik und Informatik, und wegen der ausführlichen Darstellung der Gödelschen Unvollständigkeitssätze auch für Fachstudenten der Philosophischen Logik.
A First Introduction to Categories
Englisches Buch - Autor(en): F. W. Lawvere, Stephen H. Schanuel
Verlag: Cambridge University Press, 2009
Conceptual Mathematics introduces the concept of category to beginning students and practising mathematical scientists based on a leisurely introduction to the important categories of directed graphs and discrete dynamical systems.
A Companion to Undergraduate Mathematics
Englisches Buch - Autor(en): Kevin Houston
Verlag: Cambridge University Press, 2009
This arsenal of tips and techniques eases new students into undergraduate mathematics, unlocking the world of definitions, theorems, and proofs. Looking for a head start in your undergraduate degree in mathematics?
Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings
Englisches Buch
Verlag: Springer, Berlin, 2004
This book constitutes the refereed proceedings of the Second International Joint Conference on Automated Reasoning, IJCAR 2004, held in Cork, Ireland, in July 2004. IJCAR 2004 comprises CADE, CALCULEMUS, FroCoS, FTP, and TABLEAUX.
Buch - Autor(en): Hans-Peter Tuschik, Helmut Wolter
Verlag: Spektrum Akademischer Verlag, 2002
Das Eindringen der modernen Computertechnik in alle Lebensbereiche verlangt von immer mehr Menschen tiefergehende Kenntnisse über mathematisch-logische Zusammenhänge.
Englisches Buch - Autor(en): Jc Beall
Verlag: Taylor & Francis*Routledge, 2010
Logic: The Basics is a hands-on introduction to the philosophically alive field of logical inquiry. Covering both classical and non-classical theories, it presents some of the core notions of logic such as validity, basic connectives, identity, "free
E-Book - Autor(en): Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas
Verlag: Springer Netherlands, 1. Auflage, 2008
Starting with simple examples showing the relevance of cutting and pasting logics, the monograph develops a mathematical theory of combining and decomposing logics, ranging from propositional and first-order based logics to higher-order based ...
