Contenidos teóricos y prácticos de la asignatura
- Temas (epígrafes):
MÓDULO 1. Profesora: Luz Marina Moreno de Antonio
Tema 1. Modelos de computación
* Máquinas de Turing
* Funciones recursivas primitivas
* Funciones parcialmente recursivas (o mu-recursivas)
Tema 2. Decidibilidad y Reducibilidad
* Medidas y esquemas de codificación
* Problemas No Decidibles
* Reducibilidad
* Jerarquías de Lenguajes y Problemas
* Universalidad
* Tesis de Church-Turing
MÓDULO 2. Profesor: Jorge Riera Ledesma
Tema 3. Complejidad
* Las clases P y NP
* NP-completitud. Teorema de Cook-Levin
* Demostración de los 6 primeros problemas NP-completos
* Técnicas de Resolución de problemas difíciles
MÓDULO 1. Profesora: Luz Marina Moreno de Antonio
Tema 1. Modelos de computación
* Máquinas de Turing
* Funciones recursivas primitivas
* Funciones parcialmente recursivas (o mu-recursivas)
Tema 2. Decidibilidad y Reducibilidad
* Medidas y esquemas de codificación
* Problemas No Decidibles
* Reducibilidad
* Jerarquías de Lenguajes y Problemas
* Universalidad
* Tesis de Church-Turing
MÓDULO 2. Profesor: Jorge Riera Ledesma
Tema 3. Complejidad
* Las clases P y NP
* NP-completitud. Teorema de Cook-Levin
* Demostración de los 6 primeros problemas NP-completos
* Técnicas de Resolución de problemas difíciles
Actividades a desarrollar en otro idioma
- Profesorado: Luz Marina Moreno de Antonio / Jorge Riera Ledesma
- Actividades:
Comentar documentación en inglés relacionados con los contenidos de la asignatura
Redactar parte de los trabajos de la asignatura en inglés.
- Actividades:
Comentar documentación en inglés relacionados con los contenidos de la asignatura
Redactar parte de los trabajos de la asignatura en inglés.