Terug Terug

Type Theory & Formal Proof An Introduction

Name: Type Theory & Formal Proof
Author: Rob Nederpelt

Auteur: Rob Nederpelt

Taal: Engels

Afbeeldingen

Artikel vergelijken

Vergelijk met andere artikelen

Bekijk nu

Uitgever: Cambridge University Press

Auteur: Rob Nederpelt Herman Geuvers

Co-auteur: R. P. Nederpelt

Engels
Hardcover
9781107036505
06 november 2014
466 pagina's

Alle productspecificaties

Samenvatting

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, including 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 formalise mathematics. The only prerequisite is a basic knowledge of undergraduate mathematics. 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 familiarise themselves with the material.

Productspecificaties

Inhoud

Taal: en
Bindwijze: Hardcover
Oorspronkelijke releasedatum: 06 november 2014
Aantal pagina's: 466
Illustraties: Nee

Betrokkenen

Hoofdauteur: Rob Nederpelt
Tweede Auteur: Herman Geuvers
Co Auteur: R. P. Nederpelt
Hoofduitgeverij: Cambridge University Press

Overige kenmerken

Extra groot lettertype: Nee
Product breedte: 174 mm
Product hoogte: 45 mm
Product lengte: 247 mm
Studieboek: Ja
Verpakking breedte: 174 mm
Verpakking hoogte: 28 mm
Verpakking lengte: 247 mm
Verpakkingsgewicht: 980 g

EAN

EAN: 9781107036505

Je vindt dit artikel in

Categorieën: Computers & Informatica

Computertechnologie

Wiskunde voor computerwetenschappers

Boeken
Select-bezorgopties: Vandaag Bezorgd, Avondbezorging, Zondagbezorging, Gratis verzending
Boek, ebook of luisterboek?: Boek
Taal: Engels
Beschikbaarheid: Leverbaar

Reviews

Nog geen reviews

Hoe controleren en plaatsen wij reviews? Hoe controleren en plaatsen wij reviews?

Negatief, positief, neutraal: we zetten een review altijd online. We controleren wel eerst of ’ie voldoet aan onze reviewvoorwaarden en niet nep is. We controleren ook of ’ie is geschreven door iemand die het artikel heeft gekocht via bol.com en zetten dit er dan bij. De controles gebeuren automatisch, al kijken er soms mensen mee. Bol.com betaalt niet voor reviews. Als een reviewer door een andere partij is vergoed, staat dit in de review zelf.