Introduction to Combinators and (lambda) Calculus - Couverture rigide

Hindley, J. R.; Seldin, J. P.

 
9780521268967: Introduction to Combinators and (lambda) Calculus
Couverture rigide
ISBN 10 : 0521268966 ISBN 13 : 9780521268967
Editeur : Cambridge University Press, 1986

Synopsis

Combinatory logic and lambda-conversion were originally devised in the 1920s for investigating the foundations of mathematics using the basic concept of 'operation' instead of 'set'. They have now developed into linguistic tools, useful in several branches of logic and computer science, especially in the study of programming languages. These notes form a simple introduction to the two topics, suitable for a reader who has no previous knowledge of combinatory logic, but has taken an undergraduate course in predicate calculus and recursive functions. The key ideas and basic results are presented, as well as a number of more specialised topics, and man), exercises are included to provide manipulative practice.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

Combinatory logic and lambda-conversion were originally devised in the 1920s for investigating the foundations of mathematics using the basic concept of 'operation' instead of 'set'. They have now developed into linguistic tools, useful in several branches of logic and computer science, especially in the study of programming languages. These notes form a simple introduction to the two topics, suitable for a reader who has no previous knowledge of combinatory logic, but has taken an undergraduate course in predicate calculus and recursive functions. The key ideas and basic results are presented, as well as a number of more specialised topics, and man), exercises are included to provide manipulative practice.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Cambridge University Press
Date d'édition
1986
Langue
anglais
ISBN 10 
0521268966
ISBN 13 
9780521268967
Reliure
Relié
Nombre de pages
368
Coordonnées du fabricant
non disponible
Personne responsable
Avery
https://www.avery.fr/

chemin des peupliers 27
Dardilly
France

Autres éditions populaires du même titre

9780521318396: Introduction to Combinators and (lambda) Calculus

Edition présentée

ISBN 10 :  0521318394 ISBN 13 :  9780521318396
Editeur : Cambridge University Press, 1986
Couverture souple