Ambos libros, escritos por McCarthy, abordan fundamentos matemáticos de la computación, explorando teorías que sustentan el desarrollo de algoritmos efectivos.
Las funciones recursivas de los símbolos y sus aplicaciones a la computación automática
por John McCarthy · 1960
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
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
A Program for a Hand-Eye Coordination Task
1963
A Basis for a Mathematical Theory of Computation
1963
Computer and Thought: A Practical Introduction to Artificial Intelligence
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
From Memory to Intelligence: The Role of the Computer in Cognition
1990
Formalizing Common Sense: Papers by John McCarthy
1990
Libros similares
Libros relacionados según distintos criterios de búsqueda
Al igual que 'Las funciones recursivas', este texto se centra en la formalización de conceptos matemáticos aplicados a la computación, manteniendo un tono académico riguroso.