Contenidos teóricos y prácticos de la asignatura
- Temas (epígrafes):
- Profesora: Luz Marina Moreno de Antonio
MÓDULO 1.
Tema 1. Modelos de computación
* Máquinas de Turing
* Funciones recursivas primitivas
* Funciones 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
- Profesor: Jorge Riera Ledesma
MÓDULO 2.
Tema 3. Complejidad
* Las clases P y NP
* NP-completitud. Teorema de Cook
* Complejidad Espacial
* Técnicas de Resolución de problemas difíciles
- Profesora: Luz Marina Moreno de Antonio
MÓDULO 1.
Tema 1. Modelos de computación
* Máquinas de Turing
* Funciones recursivas primitivas
* Funciones 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
- Profesor: Jorge Riera Ledesma
MÓDULO 2.
Tema 3. Complejidad
* Las clases P y NP
* NP-completitud. Teorema de Cook
* Complejidad Espacial
* 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.