Name: Proof and Computation: Digitization in Mathematics, Computer
Price: 4857.00 TWD
Availability: InStock
Author: Klaus Mainzer Et Al
ISBN: 9789813270930

Select your country

Americas

Europe

Rest of the world

portada Proof and Computation: Digitization in Mathematics, Computer

Proof and Computation: Digitization in Mathematics, Computer

Type

Physical Book

Publisher

World Scientific Publishing Uk

Author

Klaus Mainzer Et Al

Year

2018

Language

English

Pages

300

Format

Hardcover

ISBN13

9789813270930

Synopsis "Proof and Computation: Digitization in Mathematics, Computer "

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.

Customers reviews

Have you read this book? Login to add your review.

More customer reviews

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews

Proof and Computation: Digitization in Mathematics, Computer - Klaus Mainzer Et Al

Synopsis "Proof and Computation: Digitization in Mathematics, Computer "

Customers reviews

Frequently Asked Questions about the Book

Is the book original?

In what language is the book written?

What is the format of this book?

Questions and Answers about the Book

Opinions about Bookdelivery