Artículos relacionados a The Combinatory Programme (Progress in Theoretical...
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialBirkhauser Verlag AG
- Año de publicación1994
- ISBN 10 3764338016
- ISBN 13 9783764338015
- EncuadernaciónTapa dura
- IdiomaInglés
- Número de páginas152
- Contacto del fabricanteno disponible
Otras ediciones populares con el mismo título
Resultados de la búsqueda para The Combinatory Programme (Progress in Theoretical...
Imagen de archivo
The Combinatory Programme.
Publicado por
Birkhäuser Verlag AG, 1995
ISBN 10: 3764338016
ISBN 13: 9783764338015
Antiguo o usado
Tapa dura
Librería: Buchpark, Trebbin, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: Sehr gut. Zustand: Sehr gut | Seiten: 160 | Sprache: Englisch | Produktart: Bücher. Nº de ref. del artículo: 1412660/2
Cantidad disponible: 1 disponibles