Descargar	Nº	Título	Por
	1	Expresividad de lógicas temporales.pdf 177 kb	Pablo Barcelo B. 13 Nov 200713/11/072007-11-13
	2	Guía 4.pdf 61 kb	Pablo Barcelo B. 13 Nov 200713/11/072007-11-13
	3	Lógicas temporales.pdf 285 kb	Pablo Barcelo B. 30 Oct 200730/10/072007-10-30
	4	Introducción a verificación.pdf 279 kb	Pablo Barcelo B. 30 Oct 200730/10/072007-10-30
	5	Guía 3.pdf 32 kb	Pablo Barcelo B. 12 Oct 200712/10/072007-10-12
	6	Juegos de Ehrenfeucht-Fraïssé: Parte II.pdf 126 kb	Pablo Barcelo B. 2 Oct 200702/10/072007-10-02
	7	Juegos de Ehrenfeucht-Fraïssé: Parte I.pdf 61 kb	Pablo Barcelo B. 2 Oct 200702/10/072007-10-02
	8	Guía 2.pdf 56 kb	Pablo Barcelo B. 14 Sep 200714/09/072007-09-14
	9	Prueba 1 con soluciones.pdf 33 kb	Pablo Barcelo B. 27 Ago 200727/08/072007-08-27
	10	Guia 1.pdf 70 kb	Pablo Barcelo B. 20 Ago 200720/08/072007-08-20
	11	Repaso - Reducciones e Indecibilidad.pdf 75 kb	Pablo Barcelo B. 13 Ago 200713/08/072007-08-13
	12	Repaso - Máquinas de Turing.pdf 84 kb	Pablo Barcelo B. 13 Ago 200713/08/072007-08-13
	13	Programa del curso.pdf 36 kb	Pablo Barcelo B. 25 Jul 200725/07/072007-07-25
	14	Clases - Teorías de primer orden.pdf 62 kb	Pablo Barcelo B. 19 Jul 200719/07/072007-07-19
	15	Clases - Lógica de primer orden: Sistema de deducción de Hilbert.pdf 49 kb	Pablo Barcelo B. 19 Jul 200719/07/072007-07-19
	16	Clases - Lógica de primer orden: Teorema de isomorfismo y definibilidad.pdf 70 kb	Pablo Barcelo B. 19 Jul 200719/07/072007-07-19
	17	Clases - Lógica de primer orden II.pdf 78 kb	Pablo Barcelo B. 19 Jul 200719/07/072007-07-19
	18	Clases - Lógica de primer orden I.pdf 98 kb	Pablo Barcelo B. 19 Jul 200719/07/072007-07-19
	19	Clases - Teorema de Cook.pdf 76 kb	Pablo Barcelo B. 19 Jul 200719/07/072007-07-19
	20	Clases - Repaso de complejidad computacional.pdf 79 kb	Pablo Barcelo B. 19 Jul 200719/07/072007-07-19
	21	Clases - Resolución proposicional.pdf 75 kb	Pablo Barcelo B. 19 Jul 200719/07/072007-07-19
	22	Clases - Lógica proposicional.pdf 165 kb	Pablo Barcelo B. 19 Jul 200719/07/072007-07-19