Escuela Técnica Superior de Ingeniería

 

Grado en Ingeniería Informática

Modelos Avanzados de Computación

Curso 2025/2026

HORARIO

 

  Teoría

  • Jueves, de 8:30 a 10:00 (Edificio Galileo, aula 2.11)
  • Viernes, de 8:30 a 10:00 (Edificio Galileo, aula 2.11)

  Prácticas

  • Jueves, de 14:30 a 16:00 (ETSI, laboratorio 106)

  Profesores

 

PLANIFICACIÓN
 

  Guía ECTS

 

 

EVALUACIÓN
 

  Forma de evaluación

  • Dividida en dos partes: teórica y práctica
  • La parte teórica se evaluará por medio de un examen en las convocatorias oficiales
  • La parte práctica se evaluará por medio de un trabajo individual
  • Para aprobar la asignatura se exige un mínimo de 4.5 puntos en la parte teórica, 4.0 en la parte práctica y 5 puntos en la calificación final.
  • Calificación final = 0.5 * calificación examen + 0.5 * calificación práctica

  Exámenes

  • Primera convocatoria: Martes, 13 de enero de 2026, 16:00 horas, aula por determinar.
  • Segunda convocatoria: Lunes, 9 de febrero de 2026, 16:00 horas, aula por determinar.

  Trabajo

  • Trabajo: Por determinar

 

TEMARIO
 

  Programa teórico

  Programa de laboratorio

  • Práctica 1: Lenguajes funcionales. (enunciado)
  • Práctica 2: Tipos y funciones básicas. (enunciado)
  • Práctica 3: Definición de funciones. (enunciado)
  • Práctica 4: Definición de tipos y clases. (enunciado)
  • Práctica 5: Entrada y salida. (enunciado)
  • Práctica 6: Números aleatorios. (enunciado)
  • Práctica 7: Funtores, aplicativos y mónadas. (enunciado)
  • Práctica 8: Testado de programas. (enunciado)
  • Práctica 9: Programación paralela y concurrente. (enunciado)

 

EXÁMENES
 

  Exámenes anteriores

 

BIBLIOGRAFÍA
 

  Básica

  • M. Fernández. "Models of Computation: An Introduction to Computability Theory", Undergraduate Topics in Computer Science. Springer (2009). ISBN 978-1-84882-433-1.
  • J. E. Savage. "Models Of Computation: Exploring the Power of Computing", Addison Wesley (1998). (http://cs.brown.edu/~jes/book/home.html).
  • M.D. Davis, R. Sigal, E.J. Weyujer. "Computability, Complexity, and Languages (2nd. Ed.): Fundamentals of theoretical Computer Science", Academic Press (1994).
  • M. Sipser. "Introduction to the Theory of Computation (2nd Edition).", Thompson (2005).
  • B. O'Sullivan, D. Stewart, J. Goerzen. "Real World Haskell", O'Really Media (2009). (http://book.realworldhaskell.org/read/index.html)

  Complementaria

  • S. Arora, B. Barak. "Computational Complexity: A Modern Approach", Cambridge University Press (2009).
  • G. Ausiello, P. Creszendi et al. "Complexity and Approximation", Springer-Verlag, Berlin (1999).
  • R. Greenlaw, H.J. Hoover, W.L. Ruzzo. "Limits to Parallel Computation: P-Completeness Theory", Oxford University Press (1995).
  • J.E. Hopcroft, R. Motwani, J.D. Ullman. "Introducción a la Teoría de Autómatas, Lenguajes y Programación, 2ª Ed", Addison Wesley (2002)

  Histórica

  • Georg Cantor, "Beiträge zur begründung der transfiniten mengenlehre" (1º parte), Mathematische Annalen, 1895. (pdf)
  • Georg Cantor, "Beiträge zur begründung der transfiniten mengenlehre" (2º parte), Mathematische Annalen, 1897. (pdf)
  • Georg Cantor, Contributions to the Founding of the Theory of Transfinite Numbers, Dover publications, 1915. (pdf)
  • Alfred North Whitehead and Bertrand Russell, Principia Mathematica Volume I, Cambridge University Press, 1910. (pdf)
  • Alfred North Whitehead and Bertrand Russell, Principia Mathematica Volume II, Cambridge University Press, 1913. (pdf)
  • Alfred North Whitehead and Bertrand Russell, Principia Mathematica Volume III, Cambridge University Press, 1913. (pdf)
  • Kurt Gödel, "On formally undecidable propositions of Principia Mathematica and related systems I", 1931. (pdf)
  • Alan Turing, "On computable numbers with an application to the entscheidungsproblem", Proceedings of the London Mathematical Society, 1936. (pdf)