The Combinatory Programme (Progress in Theoretical Computer Science) - Hardcover

Engeler, E.; Aberer, K.; Amrhein, B.; Gloor, O.; Von Mohrenschildt, M.; Otth, D.; Schwaerzler, G.; Weibel, T.

 
9783764338015: The Combinatory Programme (Progress in Theoretical Computer Science)
Hardcover
ISBN 10: 3764338016 ISBN 13: 9783764338015
Verlag: Birkhauser Verlag AG, 1994

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Reseña del editor

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Birkhauser Verlag AG
Erscheinungsdatum
1994
Sprache
Englisch
ISBN 10 
3764338016
ISBN 13 
9783764338015
Einband
Tapa dura
Anzahl der Seiten
152
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar

Weitere beliebte Ausgaben desselben Titels

9780817638016: The Combinatory Programme (Progress in Theoretical Computer Science)

Vorgestellte Ausgabe

ISBN 10:  0817638016 ISBN 13:  9780817638016
Verlag: Birkhäuser, 1994
Hardcover