Turing's World
por Jon Barwise · 1993
Ver sugerenciasSinopsis
Este libro introduce un entorno interactivo y una filosofía para explorar los fundamentos conceptuales de la computación y la lógica, basándose en la máquina de Turing.
Sé el primero en valorar este libro.
Más de Jon Barwise
Ver autor →Otras obras del mismo autor en el catálogo
An Outline of Set Theory
1971
Definability by Boolean Combinations
1977
Computation and Proof
1981
Model-Theoretic Logics
1982
The Laws of Truth
1983
Situations and Attitudes
1988
Logic and the Structure of the World
1992
Tarski's World
1993
The Language of Evaluation
1993
El Lenguaje de la Lógica
1993
El Lenguaje de la Lógica: Introducción a la Lógica de Primer Orden
1993
Lógica y fundamentos de la lógica
1993
Language, Proof and Logic
1999
Mathematical Logic
1999
Semantics for Disjunctive Logic Programming
1999
Libros similares
Libros relacionados según distintos criterios de búsqueda
Descubre libros parecidos a este
Entra para ver las conexiones que yoleo encuentra con el resto del catálogo, y para guardar los que te interesen.