Envío gratis a partir de 69,99 euros.

«Comprobar estado del pedido»

Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis

Envío gratuito con Zásilkovna para compras superiores a 59.99 €

Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €

Contacto

Cómo comprar

Ayuda

Mi cuenta

▸ Vacío :-(

Envío gratis a partir de 69,99 euros.

Type Theory and Formal Proof

Name: Type Theory and Formal Proof
Brand: Cambridge University Press
SKU: 02467535
Price: 103.09 EUR
Availability: InStock
Author: Rob Nederpelt
ISBN: 9781107036505

Rob Nederpelt

Herman Geuvers

Idioma

Inglés

Libro Tapa dura

Código Libristo: 02467535

Editores Cambridge University Press, noviembre 2014

Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. T... Descripción completa

Código Libristo: 02467535

252 b

103.09 €

Almacenamiento externo Envío en 14-21 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Simple Type Theory William Farmer

Tapa dura

88.49 €

Higher-Order Logic and Type Theory John L. Bell

Tapa blanda

27.19 €

Proof Theory Takeuti

Tapa blanda

20.39 €

Evil by Design - Interaction design to lead us into temptation Chris Nodder

Tapa blanda

33.79 €

Trump: How to Get Rich Donald J. Trump

Tapa blanda

8.49 €

Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate students and researchers who need to understand the ins and outs of the mathematical machinery, the role of logical rules therein, the essential contribution of definitions and the decisive nature of well-structured proofs. The authors begin with untyped lambda calculus and proceed to several fundamental type systems culminating in the well-known and powerful Calculus of Constructions. The book also covers the essence of proof checking and proof development, and the use of dependent type theory to formalize mathematics. The only prerequisites are a good knowledge of undergraduate algebra and analysis. Carefully chosen examples illustrate the theory throughout. Each chapter ends with a summary of the content, some historical context, suggestions for further reading and a selection of exercises to help readers familiarize themselves with the material.