Ambos libros abordan la relación entre estructuras abstractas y su aplicación en computaciones concretas, enfocándose en los fundamentos teóricos de la computación.
From Abstract Structures to Concrete Computations
por Frank S. de Boer · 1995
Ver sugerenciasSinopsis
Sé el primero en valorar este libro.
Más de Frank S. de Boer
Ver autor →Otras obras del mismo autor en el catálogo
The Foundations of Computer Science
1994
Causality and Computation
1996
Computability and Complexity
1997
Contributions to Algebra and Geometry
1998
The Logic of Computational Complexity
2000
Formal Methods for Components and Objects
2002
Philosophy and Computing
2002
Specification and Verification of Multi-Agent Systems
2003
Logical Foundations of Computer Science
2005
Theory of Computation
2007
Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures
2007
Computational Models of Cognition
2009
Philosophical Issues in the Theory of Computation
2011
Mind and Machines
2013
Computational Philosophy
2015
Libros similares
Libros relacionados según distintos criterios de búsqueda
Al igual que 'From Abstract Structures to Concrete Computations', este texto explora la lógica subyacente que fundamenta la programación y el diseño de algoritmos.