Descargar	Nº	Título	Por
	Auxiliar
	1	Auxiliar 12: Unifcación y Resolución.pdf 64 kb	Gonzalo Ríos 16 Nov 200816/11/082008-11-16
	2	Auxiliar 11:Estructuras de Herbrand.pdf 57 kb	Gonzalo Ríos 16 Nov 200816/11/082008-11-16
	3	Auxiliar 10: Logica de Primer Orden.pdf 55 kb	Gonzalo Ríos 16 Nov 200816/11/082008-11-16
	4	Guia de ejercicios: Representación del Conocimiento.pdf 80 kb	Pablo Barcelo B. 6 Nov 200806/11/082008-11-06
	5	Auxiliar 9: Resolución Proposicional.pdf 61 kb	Gonzalo Ríos 30 Oct 200830/10/082008-10-30
	6	Auxiliar 8: Lógica Proposicional.pdf 50 kb	Gonzalo Ríos 15 Oct 200815/10/082008-10-15
	7	Auxiliar 7: Prolog.zip 2.1 kb	Gonzalo Ríos 15 Oct 200815/10/082008-10-15
	8	Auxiliar 5: Sobreajuste y Poda.pdf 278 kb	Gonzalo Ríos 10 Sep 200810/09/082008-09-10
	9	Auxiliar 3: Redes Bayesianas.pdf 84 kb	Gonzalo Ríos 27 Ago 200827/08/082008-08-27
	10	Auxiliar 2: Introducción a la Clasificación.pdf 88 kb	Gonzalo Ríos 27 Ago 200827/08/082008-08-27
	Clases
	1	Programacion definitiva y PROLOG.pdf 2.5 mb	Pablo Barcelo B. 29 Sep 200829/09/082008-09-29
	2	Unificación y resolución.pdf 516 kb	Pablo Barcelo B. 29 Sep 200829/09/082008-09-29
	3	Lógica de primer orden.pdf 241 kb	Pablo Barcelo B. 29 Sep 200829/09/082008-09-29
	4	Técnicas de resolución.pdf 415 kb	Pablo Barcelo B. 29 Sep 200829/09/082008-09-29
	5	Resolución proposicional.pdf 238 kb	Pablo Barcelo B. 29 Sep 200829/09/082008-09-29
	6	Logica proposicional.pdf 229 kb	Pablo Barcelo B. 29 Sep 200829/09/082008-09-29
	7	Introducción a Representación del Conocimiento.pdf 244 kb	Pablo Barcelo B. 29 Sep 200829/09/082008-09-29
	Extras
	1	Redes Bayesinas.pdf 238 kb	Gonzalo Ríos 27 Ago 200827/08/082008-08-27
	2	Resumen de Probabilidades.zip 114 kb	Gonzalo Ríos 13 Ago 200813/08/082008-08-13
	Guías
	1	Guía Evaluación de Modelos.zip 119 kb	Carlos Hurtado L. 15 Sep 200815/09/082008-09-15
	2	Guía de Arboles de Decisión.pdf 100 kb	Carlos Hurtado L. 25 Ago 200825/08/082008-08-25
	3	Guía Redes Bayesianas.pdf 122 kb	Carlos Hurtado L. 25 Ago 200825/08/082008-08-25
	Lecturas
	1	Lectura: Logic and Logic Programming.pdf 2.9 mb	Pablo Barcelo B. 29 Sep 200829/09/082008-09-29
	Tareas
	1	Tarea 1: Inducción de Modelos.pdf 37 kb	Gonzalo Ríos 4 Sep 200804/09/082008-09-04