Conte aos seus amigos sobre este item:
Proof and Computation Ii: from Proof Theory and Univalent Mathematics to Program Extraction and Verification Klaus Mainzer
Item sob encomenda (no estoque do fornecedor)
O que dizem nossos clientes:
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.
| Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
| Lançado | 11 de agosto de 2021 |
| ISBN13 | 9789811236471 |
| Editoras | World Scientific Publishing Co Pte Ltd |
| Páginas | 424 |
| Dimensões | 152 × 229 × 24 mm · 734 g |
| Idioma | Inglês |
| Editor | Mainzer, Klaus (Technische Universitat Munchen, Germany) |
| Editor | Schuster, Peter (Universita degli Studi di Verona, Italy) |
| Editor | 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 Marsh, Gerald E (Argonne National Laboratory (Retired), USA) · Force-free Magnetic Fields: Solutions, Topology and Applications (Hardcover Book) [Second edition] (2026)](https://imusic.b-cdn.net/images/item/original/948/9789819833948.jpg?marsh-gerald-e-argonne-national-laboratory-retired-usa-2026-force-free-magnetic-fields-solutions-topology-and-applications-hardcover-book&class=scaled&v=1786981299)