World Scientific Publishing Company
The Digital and the Real World : Computational Foundations of Mathematics, Science, Technology, and Philosophy
$178.40
World Scientific Publishing Company
Proof and Computation : Digitization in Mathematics, Computer Science and Philosophy
Product Code:
9789813270930
ISBN13:
9789813270930
Condition:
New
$114.99
Proof and Computation : Digitization in Mathematics, Computer Science and Philosophy
$114.99
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 Predicative Foundations, Constructive Mathematics and Type Theory, Computation in Higher Types, Extraction of Programs from Proofs, and Algorithmic Aspects in Financial Mathematics. 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.
| Author: Klaus Mainzer, Helmut Schwichtenberg, Peter Schuster |
| Publisher: World Scientific Publishing Company |
| Publication Date: Jul 30, 2018 |
| Number of Pages: 291 pages |
| Language: English |
| Binding: Hardcover |
| ISBN-10: 9813270934 |
| ISBN-13: 9789813270930 |
Related Products
Sale 11%
World Scientific Publishing Company
Temporal Logic : From Philosophy and Proof Theory to Artificial Intelligence and Quantum Computing
$84.31