Verwandte Artikel zu The Combinatory Programme (Progress in Theoretical...
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.
Weitere beliebte Ausgaben desselben Titels
Suchergebnisse für The Combinatory Programme (Progress in Theoretical...
Beispielbild für diese ISBN
The Combinatory Programme.
Anbieter: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 160 | Sprache: Englisch | Produktart: Bücher. Bestandsnummer des Verkäufers 1412660/2
Anzahl: 1 verfügbar
Foto des Verkäufers
The combinatory programme.
Anbieter: Antiquariat Bookfarm, Löbnitz, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Hardcover. 142 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. D03832 3764338016 Sprache: Englisch Gewicht in Gramm: 550. Bestandsnummer des Verkäufers 2513539
Anzahl: 1 verfügbar