Povej prijatelju o tem izdelku:
Proof and Computation Ii: from Proof Theory and Univalent Mathematics to Program Extraction and Verification Klaus Mainzer
Naročeno iz oddaljenega skladišča
Božična darila lahko vrnete do 31. januarja
Kaj pravijo naše stranke:
Proof and Computation Ii: from Proof Theory and Univalent Mathematics to Program Extraction and Verification
Klaus Mainzer
This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisciplinary point of view. Its scope includes proof theory, constructive mathematics and type theory, univalent mathematics and point-free approaches to topology, extraction of certified programs from proofs, automated proofs in the automotive industry, as well as the philosophical and historical background of proof theory. By filling the gap between (under-)graduate level textbooks and advanced research papers, the book gives a scholarly account of recent developments and emerging branches of the aforementioned fields.
| Medij | Knjige Hardcover Book (Knjiga s trdim hrbtom in platnicami) |
| Izdano | 11. avgusta 2021 |
| ISBN13 | 9789811236471 |
| Založniki | World Scientific Publishing Co Pte Ltd |
| Strani | 424 |
| Dimenzije | 163 × 235 × 29 mm · 758 g |
| Jezik | Angleščina |
| Urednik | Mainzer, Klaus (Technische Universitat Munchen, Germany) |
| Urednik | Schuster, Peter (Universita degli Studi di Verona, Italy) |
| Urednik | Schwichtenberg, Helmut (Ludwig-Maximilians-Universitat Munchen, Germany) |
![Cover for Klaus Mainzer · Quantencomputer: Von der Quantenwelt zur Kunstlichen Intelligenz (Hardcover Book) [1. Aufl. 2020 edition] (2021)](https://imusic.b-cdn.net/images/item/original/971/9783662619971.jpg?klaus-mainzer-2021-quantencomputer-von-der-quantenwelt-zur-kunstlichen-intelligenz-hardcover-book&class=scaled&v=1606573261)
![Cover for Klaus Mainzer · Thinking in Complexity: The Computational Dynamics of Matter, Mind, and Mankind (Hardcover Book) [Fifth Edition 2007 edition] (2007)](https://imusic.b-cdn.net/images/item/original/274/9783540722274.jpg?klaus-mainzer-2007-thinking-in-complexity-the-computational-dynamics-of-matter-mind-and-mankind-hardcover-book&class=scaled&v=1407865847)
![Cover for Klaus Mainzer · The Little Book of Time - Little Book Series (Hardcover Book) [2002 edition] (2002)](https://imusic.b-cdn.net/images/item/original/888/9780387952888.jpg?klaus-mainzer-2002-the-little-book-of-time-little-book-series-hardcover-book&class=scaled&v=1409606815)
![Cover for Klaus Mainzer · Symmetries of Nature: A Handbook for Philosophy of Nature and Science (Hardcover Book) [Reprint 2012 edition] (1996)](https://imusic.b-cdn.net/images/item/original/908/9783110129908.jpg?klaus-mainzer-1996-symmetries-of-nature-a-handbook-for-philosophy-of-nature-and-science-hardcover-book&class=scaled&v=1612707860)
![Cover for Klaus Mainzer · Computer - Neue Flugel des Geistes?: Die Evolution computergestutzter Technik, Wissenschaft, Kultur und Philosophie (Hardcover Book) [Reprint 2016 edition] (1994)](https://imusic.b-cdn.net/images/item/original/040/9783110140040.jpg?klaus-mainzer-1994-computer-neue-flugel-des-geistes-die-evolution-computergestutzter-technik-wissenschaft-kultur-und-philosophie-hardcover-book&class=scaled&v=1694478400)
![Cover for Dash, Jan W (J Dash Consultants, LLC, USA) · Quantitative Finance, Climate Change, and Risk Management: a Physicist's Approach (Hardcover Book) [Third edition] (2027)](https://imusic.b-cdn.net/images/item/original/358/9789819821358.jpg?dash-jan-w-j-dash-consultants-llc-usa-2027-quantitative-finance-climate-change-and-risk-management-a-physicist-s-approach-hardcover-book&class=scaled&v=1779094136)
