Compartir
Derivation and Computation Hardback: Taking the Curry-Howard Correspondence Seriously (Cambridge Tracts in Theoretical Computer Science) (en Inglés)
Simmons (Autor)
·
Cambridge University Press
· Tapa Dura
Derivation and Computation Hardback: Taking the Curry-Howard Correspondence Seriously (Cambridge Tracts in Theoretical Computer Science) (en Inglés) - Simmons
$ 143.16
$ 160.00
Ahorras: $ 16.84
Elige la lista en la que quieres agregar tu producto o crea una nueva lista
✓ Producto agregado correctamente a la lista de deseos.
Ir a Mis ListasSe enviará desde nuestra bodega entre el
Lunes 20 de Mayo y el
Martes 21 de Mayo.
Lo recibirás en cualquier lugar de Estados Unidos entre 1 y 3 días hábiles luego del envío.
Reseña del libro "Derivation and Computation Hardback: Taking the Curry-Howard Correspondence Seriously (Cambridge Tracts in Theoretical Computer Science) (en Inglés)"
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.
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
Todos los libros de nuestro catálogo son Originales.
El libro está escrito en Inglés.
La encuadernación de esta edición es Tapa Dura.
✓ Producto agregado correctamente al carro, Ir a Pagar.