Teoría de Autómatas y Lenguajes Formales II 

4º curso de Ingeniería Informática

Profesor de teoría: Roberto Moriyón Salomon

Profesor de Prácticas: Manuel García-Herranz del Olmo

Programa y ficha de la asignatura

Página de prácticas

Materiales de estudio

CALIFICACIONES FINALES: Fichero Calificaciones_Finales.pdf en este directorio

Materiales de estudio

Fecha	Documento / material
09/09/2009	Introducción
28/09/2009	Programas y Máquinas de Turing
02/10/2009	Complejidad
19/10/2009	Recursividad
23/10/2009	Cálculo Lambda
30/10/2009	Sistemas Formales
05/11/2009	Lógica proposicional
24/11/2009	Introducción a la Lógica de Predicados
25/11/2009	Examen parcial resuelto
02/12/2009	Deducción en la Lógica de Predicados
18/12/2009	Representación lógica de conjuntos y fórmulas
18/12/2009	Ejercicios de exámenes de años anteriores
11/01/2010	Teoremas de completitud e incompletitud de Gödel
11/01/2010	Soluciones a los ejercicios de exámenes de años anteriores
24/01/2010	Examen final resuelto

Última actualización 24/01/2010
Por Roberto Moriyón