Curso de Lógica y Matemática Referencias

Textos: Nilsson, U y Malusyznski, Jan. Logic, Programming and Prolog. 2nd Edition. 2000. Enlaces Importantes: Bratko, Ivan. Manual de Prolog. (Traducido por Jacinto Dávila y Niriaska Perozo. Montaje Yaritza Vargas). Dávila, Jacinto. Clase inaugural en PDF. (contiene el acuerdo para la evaluación). Dávila, Jacinto. Introducción al curso de lógica. (PDF). Con los fuentes prolog siguientes: El archivo de la genealogia bíblica. El archivo de los silogismos. El archivo del problema difícil. El archivo con el CPM para planificación. Dávila, Jacinto. Los vicios del tiempo. V2. 2002. Wielemaker, Jan. SWI-PROLOG website: http://www.swi-prolog.org/ Wielemaker, Jan. SWI-PROLOG manual. Röhner, Gerhard. SWI-PROLOG editor (Ejecutable Comprimido). Otras Referencias: Adobe, Página para descargar el Acrobat Reader. Contreras, Yelitza. El resumidor de textos en Español. Dávila, Jacinto. Oscilando entre la verdad y el mundo real. 2001. Dávila, Jacinto. La lógica de Chávez. 2001. Un ejemplo de un argumento formalizado. ULA, Postgrado en Computación. ULA, Postgrado en Modelado y Simulación. ULA, CESIMO. ULA, CeCalCULA.

Tabla de contenido del Curso de Lógica y Matemática