MATE3126 Teoria de Recursion

• INTRODUCCIÓN Y DESCRIPCIÓN GENERAL DEL CURSO: La teoría de la recursión (o teoría de la computabilidad) se ocupa del estudio y clasificación de las funciones entre conjuntos de números naturales en términos de su computabilidad (por un algoritmo). En este curso estudiaremos los aspectos básicos de esta teoría.

• OBJETIVOS DE LA ASIGNATURA Dar respuesta a las preguntas fundamentales de la teoría de la recursión: ¿Qué significa que una función en los números naturales sea computable? y ¿Cómo podemos clasificar jerárquicamente las funciones en los números naturales según su grado de no-computabilidad?

Créditos

3

Periodo en el que se ofrece el curso

202010

Idioma en el que se ofrece el curso

Español