Diagrams, Visual Imagination, and Continuity in Peirce's Philosophy of Mathematics
Beschreibung
This book is about the relationship between necessary reasoning and visual experience in Charles S. Peirce’s mathematical philosophy. It presents mathematics as a science that presupposes a special ...mehr
🤩 Deine Probleme in Mathe hören hier auf! 🤩
📖 Alle Mathe-Inhalte, die du für dein Mathe Abi und die Oberstufe brauchst!
🙋🏻♀️🙋🏼♂️ geeignet für die gesamte Obers ...mehr
Dies ist ein kleines Heft mit Beweisrezepten: Es enthält auch Rezepte für Induktionsbeweise, Fallunterscheidungsbeweise und Widerspruchsbeweise. Jeweils ein Beispiel zeigt die praktische Umsetzung. ...mehr
Herausgegeben von Francine F. Abeles, Herausgegeben von Mark E. Fuller
Titel
Modern Logic 1850-1950, East and West
Beschreibung
This book presents diverse topics in mathematical logic such as proof theory, meta-mathematics, and applications of logic to mathematical structures. The collection spans the first 100 years of modern ...mehr
Verlag
Springer International Publishing
Erscheinungsdatum
26.05.2016
ISBN/EAN
978-3-319-24756-4
Format
E-Buch Text Elektronisches Buch in proprietärem
Status
lieferbar
Preis
53,49 €
Das ist ein E-Book
Autor
Herausgegeben von Jose-Manuel Colom, Herausgegeben von Maciej Koutny
Titel
Applications and Theory of Petri Nets 2001
Untertitel
22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25-29, 2001 Proceedings
Beschreibung
This volume contains the proceedings of the 22nd International Conference on Application and Theory of Petri Nets. The aim of the Petri net conferences is to create a forum for discussing progress in ...mehr
Verlag
Springer-Verlag GmbH
Erscheinungsdatum
15.05.2003
ISBN/EAN
978-3-540-45740-4
Format
E-Buch Text Elektronisches Buch in proprietärem
Status
lieferbar
Preis
53,49 €
Autor
Herausgegeben von R. Bogdan, Herausgegeben von I. Niiniluoto
Titel
Logic, Language, and Probability
Untertitel
A Selection of Papers Contributed to Sections IV, VI, and XI of the Fourth International Congress for Logic, Methodology, and Philosophy of Science, Bucharest, September 1971
This is the first book on cut-elimination in first-order predicate logic from an algorithmic point of view. Instead of just proving the existence of cut-free proofs, it focuses on the algorithmic meth ...mehr
Verlag
Springer Netherland
Erscheinungsdatum
07.01.2011
ISBN/EAN
978-94-007-0320-9
Format
E-Buch Text Elektronisches Buch in proprietärem
Status
lieferbar
Preis
96,29 €
Das ist ein E-Book
Autor
Peter Tittmann
Titel
Graphentheorie
Untertitel
Eine anwendungsorientierte Einführung
Beschreibung
Dieses Buch liefert eine Einführung in die Graphentheorie - ein Lehrgebiet, das heute nicht nur in der Mathematikausbildung eine große Rolle spielt. Die vielfältigen Anwendungen der Graphentheorie ...mehr
“Dass deutsche Historiker auch elegant und fesselnd schreiben können, beweist Volker Ullrich. Spannender als mancher Krimi.” Martin Doerry, SPIEGEL Plus