« Home | Profesores » | Información general » | Nuevo blog »

Bibliografía

Referencias básicas:

  • MAYORDOMO, E.: Apuntes de la asignatura.Servicio de reprografía, 2009.
  • JONES, N.: Computability and Complexity From a Programming Perspective. MIT press, 1997.
  • KOZEN, D.C.: Automata and Computability. Springer, 1997.
  • SERNA, M., ÀLVAREZ, C., CASES,R. y LOZANO, A.. Els límits de la computació. Indecidibilitat i NP-completesa. Edicions UPC. 2001
  • CUTLAND, N.J.: Computability: An Introduction to Recursive Function Theory. Cambridge University Press. 1980.
  • GAREY, M. y JOHNSON. D.: Computers and Intractability: A Guide to the Theory of NP-Completeness. Freeman. 1978.
  • H.R. LEWIS y C.H. PAPADIMITRIOU: Elements of the Theory of Computation. Prentice-Hall. 1981.

Consulta:

  • SOARE, R.: Recursively Enumerable Sets and Degrees. Springer-Verlag. 1987.
  • HOPCROFT, J., ULLMAN, J. y MOTWANI, R.: Introduction to Automata Theory. Languages and Computation. Addison-Wesley. 2000. (Disponible traducción al español de 2005)
  • MAYORDOMO, E.: P vs NP. Monografías de la Real Academia de Ciencias de Zaragoza, 26, 57-68 (2004)

Nuevo: Referencias en la biblioteca

Etiquetas: