Teoría de Autómatas y Lenguajes Formales II 

4º curso de Ingeniería Informática

Profesor de teoría: Roberto Moriyón Salomon

CALIFICACIONES FINALES: Fichero CalificacionesFinales.pdf en este directorio

Programa y ficha de la asignatura

Página de prácticas

Materiales de estudio

 

Materiales de estudio

Fecha

Documento / material

28/09/2011

Introducción

29/09/2011

Máquinas de Turing

06/10/2011

Complejidad

19/10/2011

Recursividad

27/10/2011

Cálculo Lambda

22/11/2011

Sistemas Formales

25/11/2011

Lógica Proposicional

13/12/2011

Lógica de Predicados

21/12/2011

Hoja 2 de problemas

10/01/2012

Representaciones.ppt

11/01/2012

Teoremas de completitud e incompletitud de Gödel

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 


Última actualización 11/01/2012
Por Roberto Moriyón