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
129,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 Berlin
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
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
Verlag
Springer International Publishing
Erscheinungsdatum
27.10.2020
ISBN/EAN
978-3-030-56174-1
Format
E-Buch Text Elektronisches Buch in proprietärem
Status
lieferbar
Preis
53,49 €
Das ist ein E-Book
Autor
Akihiro Kanamori
Titel
The Higher Infinite
Untertitel
Large Cardinals in Set Theory from Their Beginnings
Beschreibung
The higher in?nite refers to the lofty reaches of the in?nite cardinalities of set t- ory as charted out by large cardinal hypotheses. These hypotheses posit cardinals that prescribe their own transce ...mehr
Verlag
Springer Berlin
Erscheinungsdatum
23.11.2008
ISBN/EAN
978-3-540-88867-3
Format
E-Buch Text Elektronisches Buch in proprietärem
Status
lieferbar
Preis
139,09 €
Autor
Yves Bertot, Vorwort von G. Huet, Pierre Castéran, Vorwort von C. Paulin-Mohring
Titel
Interactive Theorem Proving and Program Development
Roman. Aus dem Bulgarischen von Alexander Sitzmann
Beschreibung
Giorgio Gospodinov verknüpft meisterhaft die Themen Leben, Tod und die Vergänglichkeit der Natur, in dem er die Geschichte seines Vaters erzählt.
Ein “wunderbares, poetisches Buch”. Denis Scheck
»Michi Strausfeld hat ein spannend zu lesendes und informatives Buch geschrieben, das auf viele unbekannte und vergessene Ereignisse und Personen hinweist, das neugierig macht und zum Weiterlesen in den zahlreich angegebenen Quellen anregt. «
Klaus Küpper, www.lateinamerikaarchiv.de