Teoría avanzada de la computación (218 - 15763)

Estudio: Grado en Ingeniería Informática

Fecha de generación:  27-05-2017 06:44:34


Curso Académico:   2016/2017
Imprimir la ficha en pdf
Rama:

Profesor coordinador:
GUTIERREZ SANCHEZ, GERMAN

Fecha Revisión:
2016-04-27

Departamento:
Departamento de Informática

Tipo:
Obligatoria

Curso:

Cuatrimestre:
2

Créditos ECTS:
6.0



Profesores, Horarios, Grupos e Idiomas
Para consultar los profesores, grupos y horarios pinchar en el enlace:

Planificación Semanal

Materias que se recomienda haber superado

Competencias que adquiere el estudiante y resultados del aprendizaje. Más información en este enlace

Descripción de contenidos: Programa

Actividades formativas, metodología a utilizar y régimen de tutorías

Sistema de evaluación
  • Peso porcentual del Examen Final:  35
  • Peso porcentual del resto de la evaluación:  65

Bibliografía básica
  • Enrique Alfonseca Cubero, Manuel Alfonseca Cubero, Roberto Moriyón Salomón.. Teoría de autómatas y lenguajes formales.. McGraw-Hill (2007)..
  • John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman.. Introducción a la teoría de autómatas, lenguajes y computación. Addison-Wesley 2007.
  • Michael Sipser.. Introduction to the Theory of Computation. 2nd ed.. Boston, MA: Course Technology, 2005. ISBN: 0534950973..
  • S. Wolfram.. Cellular Automata and Complexity.. Addison-Wesley, (1996).

Bibliografía complementaria
  • C. Papadimitriou. Computational Complexity.. Addison-Wesley, 1995.
  • H. S. Wilf. Algorithms and Complexity.. Prentice-Hall, 1986.
  • Jeffrey Shallit.. A Second Course in Formal Languages and Automata Theory.. Cambridge University Press..

El programa de la asignatura y, concretamente, la planificación semanal, podrán sufrir alguna variación por causa de fuerza mayor debidamente justificada así como por eventos académicos comunicados con suficiente antelación



© Universidad Carlos III de Madrid