Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy (Hardcover)

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.

General

Imprint:	World Scientific Publishing Co Pte Ltd
Country of origin:	Singapore
Release date:	July 2018
First published:	2018
Editors:	Klaus Mainzer • Peter Michael Schuster • Helmut Schwichtenberg
Dimensions:	159 x 235 x 24mm (L x W x T)
Format:	Hardcover
Pages:	300
ISBN-13:	978-981-3270-93-0
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation
LSN:	981-3270-93-4
Barcode:	9789813270930

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!