Articles liés à The Combinatory Programme

9783764338015: The Combinatory Programme

Synopsis

The purpose of the programme in combinatory logic is to rework the mathematical foundations of computer science on a theory of pure thought. It begins from the idea that, if logic is to be the science of correctly dealing with thought-objects, the underlying theory must be in some sense a part of, or at least a preliminary to, its structure, ie, a protologic. From this idea a combinatory algebra is constructed, using a programmatic mixture of the classical axiomatic and set-theoretic approaches. This text shows that sufficiently rich combinatory algebras can serve as a platform from which to develop the algorithmic aspects of many areas in computer science, mathematics and their applications. It should be of interest to those studying universal algebra, logic and computer algebra.

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

  • ÉditeurBirkhauser Verlag AG
  • Date d'édition1994
  • ISBN 10 3764338016
  • ISBN 13 9783764338015
  • ReliureRelié
  • Langueanglais
  • Nombre de pages152
  • Coordonnées du fabricantnon disponible

Acheter D'occasion

état :  Très bon
Zustand: Sehr gut | Seiten: 160...
Afficher cet article
EUR 214,37

Autre devise

Gratuit expédition depuis Allemagne vers France

Destinations, frais et délais

Autres éditions populaires du même titre

9780817638016: The Combinatory Programme

Edition présentée

ISBN 10 :  0817638016 ISBN 13 :  9780817638016
Editeur : Birkhauser Boston Inc, 1994
Couverture rigide

Résultats de recherche pour The Combinatory Programme

Image d'archives

Unbekannt
Edité par Birkhäuser Verlag AG, 1995
ISBN 10 : 3764338016 ISBN 13 : 9783764338015
Ancien ou d'occasion Couverture rigide

Vendeur : Buchpark, Trebbin, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : Sehr gut. Zustand: Sehr gut | Seiten: 160 | Sprache: Englisch | Produktart: Bücher. N° de réf. du vendeur 1412660/2

Contacter le vendeur

Acheter D'occasion

EUR 214,37
Autre devise
Frais de port : Gratuit
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier