Derivation and Computation - H. Simmons - Librairie Eyrolles
Tous nos rayons

Déjà client ? Identifiez-vous

Mot de passe oublié ?

Nouveau client ?

CRÉER VOTRE COMPTE
Derivation and Computation
Ajouter à une liste

Librairie Eyrolles - Paris 5e
Indisponible

Derivation and Computation

Derivation and Computation

H. Simmons

384 pages, parution le 10/01/2000

Résumé

Mathematics is about proofs, that is the derivation of correct statements; and calculations, that is the production of results according to well-defined sets of rules. The two notions ore intimately related. Proofs con involve calculations, und the algorithm underlying a calculation should be proved correct. The aim of the author is to explore this relationship.

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

Livraison à partir de 0,01 en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
satisfait ou remboursé
Satisfait ou remboursé
Paiement sécurisé
modes de paiement
Paiement à l'expédition
partout dans le monde
Livraison partout dans le monde
Service clients sav@commande.eyrolles.com
librairie française
Librairie française depuis 1925
Recevez nos newsletters
Vous serez régulièrement informé(e) de toutes nos actualités.
Inscription