Herausgegeben von Giovanni Sommaruga, Herausgegeben von Thomas Strahm
Titel
Turing’s Revolution
Untertitel
The Impact of His Ideas about Computability
Beschreibung
This book provides an overview of the confluence of ideas in Turing’s era and work and examines the impact of his work on mathematical logic and theoretical computer science. It combines contributio ...mehr
Verlag
Springer International Publishing
Erscheinungsdatum
21.01.2016
ISBN/EAN
978-3-319-22156-4
Format
E-Buch Text Elektronisches Buch in proprietärem
Status
lieferbar
Preis
117,69 €
Das ist ein E-Book
Autor
Martin Aigner, Illustriert von Karl H. Hofmann, Günter M. Ziegler
Titel
Das BUCH der Beweise
Beschreibung
Diese deutlich erweiterte dritte Auflage enthält fünf neue Kapitel, in denen es um Klassiker geht wie den "Fundamentalsatz der Algebra", um kombinatorisch-geometrische Zerlegungsprobleme, ...mehr
Verlag
Springer-Verlag GmbH
Erscheinungsdatum
14.10.2009
ISBN/EAN
978-3-642-02259-3
Format
E-Buch Text Elektronisches Buch in proprietärem
Status
lieferbar
Preis
32,99 €
Autor
Steven Givant
Titel
Duality Theories for Boolean Algebras with Operators
Many results in fuzzy logic depend on the mathematical structure the truth value set obeys. In this textbook the algebraic foundations of many-valued and fuzzy reasoning are introduced. The book is se ...mehr
Verlag
Physica
ISBN/EAN
978-3-7908-1871-0
Format
E-Buch Text Elektronisches Buch in proprietärem
Status
nicht lieferbar
Preis
41,64 €
Autor
Herausgegeben von Patrick Blackburn, Herausgegeben von Emiliano Lorini, Herausgegeben von Meiyun Guo
Titel
Logic, Rationality, and Interaction
Untertitel
7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings
An Introduction to Mathematical Logic and Type Theory
Untertitel
To Truth Through Proof
Beschreibung
In case you are considering to adopt this book for courses with over 50 students, please contact ties.nijssen@springer.com  for more information. This introduction to mathematical logic starts wi ...mehr
Verlag
Springer Netherland
Erscheinungsdatum
17.04.2013
ISBN/EAN
978-94-015-9934-4
Format
E-Buch Text Elektronisches Buch in proprietärem
Status
lieferbar
Preis
96,29 €
Das ist ein E-Book
Autor
Jörg Bewersdorff
Titel
Glück, Logik und Bluff
Untertitel
Mathematik in Spiel — Methoden, Ergebnisse und Grenzen
Beschreibung
Das Abenteuergefühl ist ein Element des Spiels. Wir setzen uns der Ungewißheit des Schicksals aus und erleben, wie wir es durch unsere eigene Tätigkeit in den Griff bekommen. 1 Alex Randolph, Spiel ...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