Résumé
The book itself forms an introduction to simple type
theory. Starting from the familiar propositional calculus
the author develops the central idea of on applied
lambda-calculus. This is illustrated by an account, of
Gödel's T, a system which codifies number-theoretic
function hierarchies. Each of the book's fifty-two sections
ends with a set of exercises, some two, hundred in total.
These are designed to help the reader get to grips with the
subject, and develop, a further understanding. An appendix
contains complete solutions of these exercises.
Cambridge Tracts in Theoretical
Computer Science
Editorial Board
- S. Abramsky, Department of Computer science,
University of Edinburgh
- P.H. Aczel, Department of Computer Science,
University of Manchester
- J-W. de Bakker, Centrum voor Wiskunde en
Informatica, Amsterdam
- Y. Gurevich, Department of Electrical Engineering
and
Computer Science, University of Michigan
- J.V. Tucker, Department of Mathematics and
Computer
Science, University College of Swansea
Caractéristiques techniques
PAPIER | |
Éditeur(s) | Cambridge University Press |
Auteur(s) | H. Simmons |
Parution | 10/01/2000 |
Nb. de pages | 384 |
Format | 15,5 x 23,5 |
Couverture | Relié |
Poids | 600g |
EAN13 | 9780521771733 |
Avantages Eyrolles.com
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse