LIBROS



- (Computabilidad)

H. Lewis, C. H. Papadimitriou. "Elements of the Theory of
Computation", 2nd edition. Prentice Hall, 1998.

N.J. Cutland. "Computabilility". Cambridge University Press, 1980.

S. B. Cooper. "Computability Theory". Chapman & Hall/CRC, 2004.

H, Rogers. "Theory of Recursive Functions and Effective
Computability". McGraw-Hill, 1967.

G. S. Bollos, R. C. Jeffrey. "Computability and Logic", 3rd
edition. Cambridge University Press, 1994.

P. Odifreddi. "Classical Recursion Theory". North Holland, 1989.



- (Útiles en algunas partes del curso)

F. Nielson, H. R. Nielson, C. Hankin. "Principles of Program
  Analysis". Springer, 2005.

J. Hopcroft, R. Motwani, J. Ullman. "Introducción a la Teoría de
  Autómatas, Lenguajes y Computación". Addison-Wesley, 2002.

P. Blázquez. "Estudio de los sistemas de descubrimiento científico
  automatizado". Trabajo Fin de Carrera, Biblioteca.



LECTURAS RECOMENDADAS


- (Artículos clásicos)

K. Gödel. "Sobre proposiciones formalmente indecidibles de los
  Principia Mathematica y sistemas afines".  1931.

A. Turing. "On Computable Numbers, with an Application to the
    Entscheidungsproblem". 1936 (1937).

A. Church. "A Note on the Entscheidungsproblem". 1936.

A. Turing. "Computing Machinery and Intelligence". MIND. 1950.

M. Davis, editor. "The Undecidable". 1965 (colección de textos y
artículos clásicos).



- (Explicaciones, discusiones, opiniones, libros interesantes, etc.)

Nagel, Newman, Gödel, Girard. "Le théorème de Gödel". Eds. de Seuil,
1958.

H. Simon. "Explaining the Ineffable", Proc., 14th IJCAI, 1995.

D. Hofstadter. "Gödel, Escher, Bach".

R. Penrose. "The Emperor's New Mind". Oxford University Press, 1990.