Ciencias de la Computación (plan 2013) 2024-1

Cuarto Semestre, Autómatas y Lenguajes Formales

A LAS PERSONAS NO-ACEPTADAS: La Coordinación les hace la invitación a inscribir el grupo vespertido de la M. en C. Araceli Liliana Reyes Cabello.

A LAS PERSONAS INSCRITAS: Hoy lunes 8 de agosto les enviaremos el correo de bienvenida.

Empezaremos el día 14 con la introducción al curso.

Por favor y para más información así como para revisar las opciones de evaluación a detalle, revisen la página del curso acá: https://sites.google.com/ciencias.unam.mx/xaltentli/courses/aut%C3%B3matas-y-lenguajes-formales-2024-1

SOBRE EL CURSO:

Éste es un curso introductorio a la Teoría de la Computación. Se estudian diferentes modelos de cómputo (y problemas que pueden resolver), todos enmarcados en una jerarquía que irá apareciendo naturalmente conforme avancemos con el temario hasta llegar a la Máquina de Turing. Cada nivel de la jerarquía estará descrito por una máquina abstracta, un lenguaje formal y una gramática formal.

Este curso, además de ayudar a las personas estudiantes a obtener una noción formal de cómputo permite adquirir herramientas necesarias para desempeñarse satisfactoriamente en cursos como Complejidad Computacional y Compiladores. Utilizaremos el temario oficial del curso como guía.

EVALUACIÓN OPCIÓN A:

• Exámenes parciales (50%)
• Tareas (20%)
  Implementación creciente (20%)
• Mini-exámenes diarios (10%)
• (Opcional, extra) Exposición (+10%)

EVALUACIÓN OPCIÓN B (OPCIÓN SELECCIONADA POR LAS PERSONAS ESTUDIANTES EN LA SESIÓN DEL 14 DE AGOSTO DE 2023):

• Tareas-examen (60%)
• Implementación creciente (20%)
• Mini-exámenes diarios (20%)
• (Opcional, extra) Exposición (+10%)

DINÁMICA DEL CURSO:

• El canal de comunicación oficial será un aula de Google Classroom. Por otro lado, tendremos un espacio de Google Chat funcionando como el canal de mensajes más amigable (o bien, si lo prefieren, un chat grupal en Telegram).
• Como en el curso de Filosofía de la Ciencia de la Computación, contaremos con un par de charlas invitadas relevantes a la temática del curso para nutrir su formación.
• Iniciaremos con la presentación del curso y con el temario en el primer día de clases, y ahí aclararemos todas las dudas (es posible que hagamos un ajuste a los horarios, pero en las mismas franjas programadas).
• En este curso (y consideramos que en ninguno, realmente) no es sugerible saltarse las ayudantías ;)

BIBLIOGRAFÍA BÁSICA:

[1] Hopcroft, J. E., Motwani, R., & Ullman, J. D. (2007). Introduction to Automata Theory, Languages, and Computation 3th Ed. Pearson Education.

[2] Viso-Gurovich, E. (2008) Introducción a la teoría de la computación. Las Prensas de Ciencias.