Descargar	Nº	Título	Por
	1	Programación definitiva y PROLOG.pdf 2.5 mb	Pablo Barcelo B. 22 Abr 200822/04/082008-04-22
	2	Ejercicio con igualdad.zip 5.3 mb	Pablo Barcelo B. 15 Abr 200815/04/082008-04-15
	3	Lógica de primer orden.pdf 241 kb	Pablo Barcelo B. 9 Abr 200809/04/082008-04-09
	4	Guia 1.pdf 70 kb	Pablo Barcelo B. 9 Abr 200809/04/082008-04-09
	5	Unificación y resolución.pdf 516 kb	Pablo Barcelo B. 7 Abr 200807/04/082008-04-07
	6	Técnicas de resolución.pdf 415 kb	Pablo Barcelo B. 2 Abr 200802/04/082008-04-02
	7	Artículos sobre Proof theory y Proof complexity..zip 1.6 mb	Pablo Barcelo B. 28 Mar 200828/03/082008-03-28
	8	Lecturas: Logic and Logic Programming.pdf 2.9 mb	Pablo Barcelo B. 25 Mar 200825/03/082008-03-25
	9	Resolución proposicional.pdf 238 kb	Pablo Barcelo B. 20 Mar 200820/03/082008-03-20
	10	Introducción.pdf 244 kb	Pablo Barcelo B. 11 Mar 200811/03/082008-03-11
	11	Programa del curso.pdf 33 kb	Pablo Barcelo B. 5 Mar 200805/03/082008-03-05
	12	Lógica proposicional.pdf 229 kb	Pablo Barcelo B. 3 Mar 200803/03/082008-03-03
	Auxiliares
	1	AuxProlog.txt.zip 1.7 kb	Pablo Sepúlveda R. 28 Abr 200828/04/082008-04-28
	2	Clases_-_Teorema_de_Cook.pdf 76 kb	Pablo Sepúlveda R. 28 Abr 200828/04/082008-04-28
	3	Clases_-_Repaso_de_complejidad_computacional.pdf 79 kb	Pablo Sepúlveda R. 28 Abr 200828/04/082008-04-28
	Pautas Controles
	1	Pauta Control 1 (primavera 2007).pdf 67 kb	Pablo Sepúlveda R. 9 Abr 200809/04/082008-04-09
	Tareas
	1	T1.pdf 159 kb	Pablo Sepúlveda R. 16 Abr 200816/04/082008-04-16