Dpto. de Ciencias de la Computación e
Inteligencia Artificial
Universidad de Sevilla
Modelos de Computación y Complejidad
Grado en Ingeniería Informática. Tecnologías Informáticas
(Curso 2021-2022)
Temas
Tema 0:
Preliminares.
Tema 1:
Modelos de computación: El modelo GOTO.
Tema 2:
Funciones computables.
Tema 3:
Programas universales.
Tema 4:
Recursividad enumerable e indecidibilidad.
Tema 5:
Nociones básicas de Teoría de la Complejidad Computacional.
Tema 6:
El problema
P
versus
NP
.
Modelos de Computación y Complejidad