Ambos libros son escritos por el mismo autor y tratan sobre los principios fundamentales que rigen la teoría de la computación.
Logical Foundations of Computer Science
por Frank S. de Boer · 2005
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
From Abstract Structures to Concrete Computations
1995
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
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 'Logical Foundations of Computer Science', este libro explora conceptos lógicos y matemáticos aplicados a la complejidad computacional.