Matemáticas (plan 1983) 2024-1

Optativas de los Niveles VII y VIII, Introducción a las Funciones Recursivas y Computabilidad

En este curso utilizaremos el enfoque clásico de las Máquinas de Turing para estudiar los alcances de la computación teórica. Las dos preguntas básicas que abordaremos en el curso son: ¿Cuáles problemas de decisión pueden ser resueltos mediante un algoritmo? y, para aquellos problemas que pueden ser resueltos por un algoritmo, ¿cuántos recursos (tiempo y espacio) son necesarios para resolverlo?

Aunque es deseable que los alumnos interesados hayan cursado previamente Autómatas y Lenguajes Formales (aparece como Teoría de la Computación en las optativas de Matemáticas), no es necesario. Quizá sería una buena idea tomar ambos cursos simultáneamente.

La evaluación será a través de 4 tareas y 4 exámenes. Las tareas se entregarán en equipos de 1 a 3 personas, y los exámenes se realizaran de forma individual en el salón.

Usaremos Google Classroom para toda la comunicación referente al curso, incluyendo la publicación de tareas. Se pide a los alumnos inscritos que por favor envíen un correo a japo@ciencias.unam.mx para ser agregados al Classroom, su correo deberá indicar el nombre de la materia y deberá ser enviado desde una dirección @ciencias.unam.mx. La información detallada del curso estará disponible en Classroom.