Logik ist überall: im vernunftgemäßen Urteil, in der Einsicht, die den Glauben ergänzt, in Sprache und Mathematik, in einer aufgeklärten Ethik und in der Frage nach der Wahrheit und den Grenzen d ...mehr
Verlag
Springer-Verlag GmbH
Erscheinungsdatum
18.07.2022
ISBN/EAN
978-3-662-65313-5
Format
E-Buch Text Elektronisches Buch in proprietärem
Status
lieferbar
Preis
19,99 €
Das ist ein E-Book
Autor
Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas
Titel
Mathematical Logic
Beschreibung
This textbook introduces first-order logic and its role in the foundations of mathematics by examining fundamental questions. What is a mathematical proof? How can mathematical proofs be justified? Ar ...mehr
Verlag
Springer International Publishing
Erscheinungsdatum
28.05.2021
ISBN/EAN
978-3-030-73839-6
Format
E-Buch Text Elektronisches Buch in proprietärem
Status
lieferbar
Preis
53,49 €
Autor
Herausgegeben von J. Kacprzyk, Herausgegeben von S.A. Orlovski
Titel
Optimization Models Using Fuzzy Sets and Possibility Theory
Mathematical Logic: An Introduction is a textbook that uses mathematical tools to investigate mathematics itself. In particular, the concepts of proof and truth are examined. The book presents the f ...mehr
Verlag
De Gruyter
Erscheinungsdatum
22.05.2023
ISBN/EAN
978-3-11-078219-6
Format
E-Buch Text Elektronisches Buch in proprietärem
Status
lieferbar
Preis
89,95 €
Autor
Herausgegeben von Jörg H. Siekmann
Titel
8th International Conference on Automated Deduction
Untertitel
Oxford, England, July 27- August 1, 1986. Proceedings
How to Use This Handbook The Maple Handbook is a complete reference tool for the Maple language, and is written for all Maple users, regardless of their dis cipline or field(s) of interest. All the bu ...mehr
Verlag
Springer US
Erscheinungsdatum
28.08.1995
ISBN/EAN
978-0-387-94331-2
Format
Einband - flex.(Paperback)
Status
nicht lieferbar
Preis
85,55 €
Autor
Herausgegeben von Ghita Holmström-Hintikka, Herausgegeben von Sten Lindström, Herausgegeben von R. Sliwinski
Titel
Collected Papers of Stig Kanger with Essays on his Life and Work
Herausgegeben von Masami Hagiya, Herausgegeben von Azuma Ohuchi
Titel
DNA Computing
Untertitel
8th International Workshop on DNA Based Computers, DNA8, Sapporo, Japan, June 10-13, 2002, Revised Papers
Beschreibung
Biomolecular computing has emerged as an interdisciplinary ?eld that draws - gether chemistry, computer science, mathematics, molecular biology, and physics. Our knowledge on DNA nanotechnology and bi ...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