Ambos libros son obra de John McCarthy y abordan la formalización matemática de la computación desde un enfoque teórico riguroso.
A Basis for a Mathematical Theory of Computation
por John McCarthy · 1963
Ver sugerenciasSinopsis
Sé el primero en valorar este libro.
Más de John McCarthy
Ver autor →Otras obras del mismo autor en el catálogo
Programas con sentido común
1959
Las funciones recursivas de los símbolos y sus aplicaciones a la computación automática
1960
Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I
1960
LISP 1.5 Programmer's Manual
1962
LISP 1.5 Programmer's Manual
1962
Computer and Thought: A Practical Introduction to Artificial Intelligence
1963
A Program for a Hand-Eye Coordination Task
1963
Towards a Mathematical Science of Computation
1969
The Nature of the Intelligent Machine
1979
The Society of Mind
1986
Artificial Intelligence
1986
The Fourth Generation: Some Possibilities for Artificial Intelligence
1988
The Foundations of Artificial Intelligence: A Survey
1988
Formalizing Common Sense: Papers by John McCarthy
1990
The Age of Intelligent Machines
1990
Libros similares
Libros relacionados según distintos criterios de búsqueda
Al igual que 'A Basis for a Mathematical Theory of Computation', este libro explora conceptos de funciones recursivas y su impacto en la computación automática.