Dpto. de Ciencias de la Computación e
Inteligencia Artificial
Universidad de Sevilla
Ciencias de la Computación [Curso 2021-2022]
Proyecto docente
de la asignatura.
Temario
de la asignatura.
Enlace
a la asignatura del año pasado.
Temas y ejercicios
Tema I: Algoritmos y funciones computables. (
Transparencias
y
ejercicios
).
Tema II: Equivalencia entre modelos de computación. (
Transparencias
y
ejercicios
).
Tema III: Funciones recursivas. (
Transparencias
y
ejercicios
).
Tema IV: Funciones universales y forma normal. (
Transparencias
y
ejercicios
).
Tema V: Conjuntos recursivamente enumerables. (
Transparencias
y
ejercicios
).
Tema VI: El teorema de recursión. (
Transparencias
y
ejercicios
).
Tema VII: Reducibilidad. (
Transparencias
y
ejercicios
).
Tema VIII: Autómatas, lenguajes y gramáticas. (
Transparencias
y
ejercicios
).
Ciencias de la Computación
