Descargar	Nº	Título	Por
	Clases
	1	Algoritmo verificacion para CTL.pdf 181 kb	Pablo Barcelo B. 15 Nov 200915/11/092009-11-15
	2	Expresividad de logicas temporales.pdf 177 kb	Pablo Barcelo B. 8 Nov 200908/11/092009-11-08
	3	Logicas temporales.pdf 285 kb	Pablo Barcelo B. 8 Nov 200908/11/092009-11-08
	4	Introduccion a la verificacion.pdf 279 kb	Pablo Barcelo B. 8 Nov 200908/11/092009-11-08
	5	MSO vs Automatas II.pdf 49 kb	Pablo Barcelo B. 25 Oct 200925/10/092009-10-25
	6	MSO vs Automatas I.pdf 113 kb	Pablo Barcelo B. 25 Oct 200925/10/092009-10-25
	7	Teoría de modelos finitos: Motivación.pdf 106 kb	Pablo Barcelo B. 27 Sep 200927/09/092009-09-27
	8	Juegos de Ehrenfeucht-Fraisse: Parte 2.pdf 126 kb	Pablo Barcelo B. 27 Sep 200927/09/092009-09-27
	9	Juegos de Ehrenfeucht-Fraisse: Parte 1.pdf 61 kb	Pablo Barcelo B. 27 Sep 200927/09/092009-09-27
	10	Teorías de primer orden.pdf 62 kb	Pablo Barcelo B. 31 Ago 200931/08/092009-08-31
	11	Teorema de isomorfiismo y definibilidad.pdf 70 kb	Pablo Barcelo B. 31 Ago 200931/08/092009-08-31
	12	Lógica de primer orden 2.pdf 78 kb	Pablo Barcelo B. 31 Ago 200931/08/092009-08-31
	13	Lógica de primer orden 1.pdf 98 kb	Pablo Barcelo B. 31 Ago 200931/08/092009-08-31
	14	Resolución proposicional.pdf 238 kb	Pablo Barcelo B. 15 Ago 200915/08/092009-08-15
	15	Teorema de Cook.pdf 76 kb	Pablo Barcelo B. 9 Ago 200909/08/092009-08-09
	16	Máquinas de Turing no deterministas.pdf 79 kb	Pablo Barcelo B. 9 Ago 200909/08/092009-08-09
	17	Lógica proposicional.pdf 165 kb	Pablo Barcelo B. 27 Jul 200927/07/092009-07-27
	Guias
	1	Guia 4.pdf 61 kb	Pablo Barcelo B. 28 Nov 200928/11/092009-11-28
	2	Guia 3.pdf 32 kb	Pablo Barcelo B. 28 Nov 200928/11/092009-11-28
	3	Guia 2.pdf 56 kb	Pablo Barcelo B. 28 Nov 200928/11/092009-11-28
	4	Guia 1.pdf 70 kb	Pablo Barcelo B. 28 Nov 200928/11/092009-11-28
	Programa
	1	Programa del curso.pdf 30 kb	Pablo Barcelo B. 27 Jul 200927/07/092009-07-27
	Tareas
	1	Tarea 4.pdf 21 kb	Pablo Barcelo B. 4 Nov 200904/11/092009-11-04
	2	Tarea 3.pdf 21 kb	Pablo Barcelo B. 18 Oct 200918/10/092009-10-18
	3	Tarea 2.pdf 24 kb	Pablo Barcelo B. 2 Sep 200902/09/092009-09-02
	4	Tarea 1.pdf 30 kb	Pablo Barcelo B. 14 Ago 200914/08/092009-08-14