Bases Formales de la Computación 2023-1

Tarea 1 - Fecha de Entrega: Marzo 3 23:59

Tarea 2 - Fecha de Entrega: Marzo 19 23:59

Tarea 3 - Fecha de Entrega: Mayo 5 22:00

Consigna

Sesión 1 - Febrero 11

Presentación del curso

Lógica Proposicional

Sesión 2 - Febrero 25

Lógica de Predicados

Sesión 3 - Marzo 11

Lógicas Temporales

Sesión 4 - Marzo 25

Autómatas Finitos

Sesión 5 - Abril 1

Autómatas Finitos II 

Autómatas Finitos III 

Sesión 6 

Autómatas de Pila

Sesión 7

Gramáticas Independientes del Contexto I

Gramáticas Independientes del Contexto II

Lenguajes Independientes del Contexto 

Sesión 8

Máquinas de Turing I  [new]

Máquinas de Turing II [new]

Máquinas de Turing III [new]