Mathematische Anwendungen in Natur und Gesellschaft
Beschreibung
Wie zuverlässig sind DNA-Tests und wann lässt sich eine Unschuldsvermutung vor Gericht mathematisch untermauern? Warum ist Glücksspiel im Casino als systematische Einnahmequelle ungeeignet? Welch ...mehr
Verlag
De Gruyter
Erscheinungsdatum
10.10.2017
ISBN/EAN
978-3-11-054252-3
Format
Einband - fest (Hardcover)
Status
aktueller Lieferbarkeitsstatus nicht bekannt, bitte beim Verlag erfragen
Preis
119,95 €
Das ist ein E-Book
Autor
Herausgegeben von Georg Gottlob, Herausgegeben von Alexander Leitsch, Herausgegeben von Daniele Mundici
Titel
Computational Logic and Proof Theory
Untertitel
5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings
Beschreibung
This book constitutes the refereed proceedings of the 5th Kurt Gödel Colloquium on Computational Logic and Proof Theory, KGC '97, held in Vienna, Austria, in August 1997.The volume presents 20 revise ...mehr
Verlag
Springer-Verlag GmbH
Erscheinungsdatum
11.04.2006
ISBN/EAN
978-3-540-69806-7
Format
E-Buch Text Elektronisches Buch in proprietärem
Status
lieferbar
Preis
85,59 €
Das ist ein E-Book
Autor
Valeriy K. Zakharov, Timofey V. Rodionov
Titel
Sets, Functions, Measures / Fundamentals of Set and Number Theory
Beschreibung
This comprehensive two-volume work is devoted to the most general beginnings of mathematics. It goes back to Hausdorff’s classic Set Theory (2nd ed., 1927), where set theory and the theory of functi ...mehr
Dual Tableaux: Foundations, Methodology, Case Studies
Beschreibung
This book presents logical foundations of dual tableaux together with a number of their applications both to logics traditionally dealt with in mathematics and philosophy (such as modal, intuitionisti ...mehr
Verlag
Springer Netherland
Erscheinungsdatum
07.01.2012
ISBN/EAN
978-94-007-0005-5
Format
E-Buch Text Elektronisches Buch in proprietärem
Status
lieferbar
Preis
149,79 €
Das ist ein E-Book
Autor
Herausgegeben von Klaus Ambos-Spies, Herausgegeben von Gert H. Müller, Herausgegeben von Gerald E. Sacks
Titel
Recursion Theory Week
Untertitel
Proceedings of a Conference held in Oberwolfach, FRG, March 19-25, 1989
Beschreibung
These proceedings contain research and survey papers from many subfields of recursion theory, with emphasis on degree theory, in particular the development of frameworks for current techniques in this ...mehr
This undergraduate textbook promotes an active transition to higher mathematics. Problem solving is the heart and soul of this book: each problem is carefully chosen to demonstrate, elucidate, or exte ...mehr
»In der Regel sind Probleme, mit denen man in seiner Gegenwart konfrontiert ist, gar nicht so neu, wie man fürchtet, und oft fürchtet man sie nur, weil man sie für neu hält.«
Atlas der Sternenhimmel und Schöpfungsmythen der Menschheit
Untertitel
Beschreibung
Ein einzigartiges Buchprojekt: Raoul Schrotts großer Atlas der Sternenhimmel ermöglicht einen vollkommen neuen Blick auf die Menschheit und ihre weit zurückreichende Geschichte.
„Höchst anregend … jedes Kapitel fragt nach den Bedingungen, die ein freies Leben erst möglich machen, und ist als Ermutigung gedacht: Es liegt in unserer Hand.“
Philosophie Magazin, Elisa Primavera-Levy