Descargar	Nº	Título	Por
	Logica Proposicional
	1	Resolucion proposicional.pdf 238 kb	Pablo Barcelo B. 13 Mar 201113/03/112011-03-13
	2	Teorema de Cook.pdf 76 kb	Pablo Barcelo B. 13 Mar 201113/03/112011-03-13
	3	Maquinas de Turing no deterministas.pdf 79 kb	Pablo Barcelo B. 13 Mar 201113/03/112011-03-13
	4	Logica proposicional.pdf 165 kb	Pablo Barcelo B. 13 Mar 201113/03/112011-03-13
	Logica de Primer Orden
	1	Teorias de primer orden.pdf 62 kb	Pablo Barcelo B. 13 Mar 201113/03/112011-03-13
	2	Teorema de isomorfiismo y definibilidad.pdf 70 kb	Pablo Barcelo B. 13 Mar 201113/03/112011-03-13
	3	Logica de primer orden 2.pdf 78 kb	Pablo Barcelo B. 13 Mar 201113/03/112011-03-13
	4	Logica de primer orden 1.pdf 98 kb	Pablo Barcelo B. 13 Mar 201113/03/112011-03-13
	Logicas Temporales
	1	Algoritmo de verificacion para CTL.pdf 181 kb	Pablo Barcelo B. 13 Mar 201113/03/112011-03-13
	2	Expresividad de logicas temporales.pdf 177 kb	Pablo Barcelo B. 13 Mar 201113/03/112011-03-13
	3	Logicas temporales.pdf 285 kb	Pablo Barcelo B. 13 Mar 201113/03/112011-03-13
	4	Introduccion a la verificacion.pdf 279 kb	Pablo Barcelo B. 13 Mar 201113/03/112011-03-13
	Programa del Curso
	1	Programa del curso.pdf 253 kb	Pablo Barcelo B. 13 Mar 201113/03/112011-03-13
	Tareas
	1	Tarea 1.pdf 37 kb	Pablo Barcelo B. 31 Mar 201131/03/112011-03-31
	Teoria de Modelos Finitos
	1	MSO vs Automatas: 1.pdf 113 kb	Pablo Barcelo B. 13 Mar 201113/03/112011-03-13
	2	Juegos de Ehrenfeucht-Fraisse: 2.pdf 126 kb	Pablo Barcelo B. 13 Mar 201113/03/112011-03-13
	3	Juegos de Ehrenfeucht-Fraisse: 1.pdf 61 kb	Pablo Barcelo B. 13 Mar 201113/03/112011-03-13
	4	Teoria de modelos finitos: Motivacion.pdf 106 kb	Pablo Barcelo B. 13 Mar 201113/03/112011-03-13