|
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,994
Discovery Miles 29 940
|
|
|
Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy (Hardcover)
Expected to ship within 10 - 15 working days
|
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
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!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
