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 > Science & Mathematics > Mathematics > Mathematical foundations

Buy Now

Derivation and Computation - Taking the Curry-Howard Correspondence Seriously (Hardcover) Loot Price: R3,991

Discovery Miles 39 910

Repayment Terms: R374 pm x 12*

Add to cart

Derivation and Computation - Taking the Curry-Howard Correspondence Seriously (Hardcover): H. Simmons

Derivation and Computation - Taking the Curry-Howard Correspondence Seriously (Hardcover)

H. Simmons

Series: Cambridge Tracts in Theoretical Computer Science

(sign in to rate)

Loot Price R3,991 Discovery Miles 39 910 | Repayment Terms: R374 pm x 12*

Expected to ship within 12 - 19 working days

Description
Details
Customer Reviews

The two notions of proofs and calculations are intimately related. Proofs can involve calculations, and the algorithm underlying a calculation should be proved correct. This volume explores this key relationship and introduces simple type theory. Starting from the familiar propositional calculus, the author develops the central idea of an applied lambda-calculus. This is illustrated by an account of Gödel's T, a system that codifies number-theoretic function hierarchies. Each of the book's 52 sections ends with a set of exercises, some 200 in total. An appendix contains complete solutions of these exercises.

General

Imprint:	Cambridge UniversityPress
Country of origin:	United Kingdom
Series:	Cambridge Tracts in Theoretical Computer Science
Release date:	May 2000
First published:	2000
Authors:	H. Simmons
Dimensions:	236 x 158 x 26mm (L x W x T)
Format:	Hardcover
Pages:	412
ISBN-13:	978-0-521-77173-3
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Science & Mathematics > Mathematics > Mathematical foundations > General Promotions
LSN:	0-521-77173-0
Barcode:	9780521771733