Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Computing & IT > General theory of computing > Mathematical theory of computation

Buy Now

Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy (Hardcover) Loot Price: R2,848

Discovery Miles 28 480

Repayment Terms: R267 pm x 12*

Add to cart

Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy (Hardcover): Klaus Mainzer, Peter Michael...

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

Klaus Mainzer, Peter Michael Schuster, Helmut Schwichtenberg

(sign in to rate)

Loot Price R2,848 Discovery Miles 28 480 | Repayment Terms: R267 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

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 Promotions
LSN:	981-3270-93-4
Barcode:	9789813270930