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

Cuarto Semestre, Autómatas y Lenguajes Formales

Para cualquier duda respecto al curso pueden escribir al siguiente correo:

Liliana Reyes Cabello

liliana@ciencias.unam.mx

Rafael Reyes Sánchez

rreyes@ciencias.unam.mx

Temario:

• Inducción y Recursión

  • Números naturales

  • Estructuras de datos

• Introducción a lenguajes formales

  • Gramáticas

  • Razonamiento formal

  • Funciones

• Lógica Matemática

  • Lógica proposicional

  • Lógica de primer orden

• Lógica computacional

  • Métodos de prueba

  • Circuitos digitales

• Relaciones

  • Relaciones n-arias

  • Órdenes parciales

Evaluación:

65% Cuestionario quincenales

35% Prácticas