Search
Now showing items 1-10 of 10
Curso de Lógica y Matemática
(SABER ULA, 2005-01-07)
Curso de Lógica y Matemática
Postgrado en Computación, Postgrado en Modelado y Simulación de Sistemas
Nota: Para visualizar los documentos a texto completo necesita tener instalado el programa
Adobe ...
Curso de Lógica y Matemática - Referencias
(SABER ULA, 2003-01-17)
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 ...
Curso de Lógica y Matemática - Unidad 3: Programación en lógica definida y resolución
(SABER ULA, 2003-01-17)
Curso de Lógica y Matemática
Unidad 3: Semánticas de programas lógicos definidos
Descripción: Conocemos los programas lógicos definidos y discutimos cómo otorgarles semánticas formales.
Actividades: Revisar ...
Curso de Lógica y Matemática - Unidad 0: ¿Por qué estudiamos lógica?
(SABER ULA, 2003-01-17)
Curso de Lógica y Matemática
Unidad 0: ¿Por qué estudiamos lógica?
Descripción: Discusión general acerca de el uso de la lógica en argumentación y en comunicación humana.
Actividades: Revisar las bitácoras y ...
Curso de Lógica y Matemática - Unidad 2: Matemática discreta
(SABER ULA, 2003-01-17)
Curso de Lógica y Matemática
Unidad 2: Matemática discreta
Descripción: Discutimos los conceptos fundamentales asociados con grafos, latices (reticulados) e inducción matemática.
Actividades: Revisión de las ...
Curso de Lógica y Matemática - Introducción del curso
(SABER ULA, 2003-01-17)
Curso de Lógica y Matemática
Introducción del curso:
Introducción del Curso:
Este curso es acerca de un lenguaje: el lenguaje de la lógica.
En la concepción tradicional, un lenguaje consiste de un ...
Curso de Lógica y Matemática - Unidad 1: Introducción a la lógica matemática
(SABER ULA, 2003-01-17)
Curso de Lógica y Matemática
Unidad 1: Introducción a la lógica matemática
Descripción: Discutimos los fundamentos de la lógica proposional, la lógica de predicados y la regla de resolución.
Actividades: ...
Curso de Lógica y Matemática - Unidad 4: Negación en programación lógica
(SABER ULA, 2003-01-17)
Curso de Lógica y Matemática
Unidad 4: Negación en programación lógica
Descripción: La semántica de la negación y el razonamiento no monótono en programación lógica.
Actividades: Revisión del material de ...
Curso de Lógica y Matemática - Unidad 5: Aplicaciones de la lógica computacional
(SABER ULA, 2003-01-17)
Curso de Lógica y Matemática
Unidad 5: Aplicaciones de la lógica computacional
Descripción: Revisamos someramente algunas aplicaciones fundamentales de lógica computacional, entre las que se cuentan búsqueda ...
Curso de Lógica y Matemática - Datos del curso
(SABER ULA, 2003-01-17)
Curso de Lógica y Matemática
Datos del curso:
Facultad: Ingeniería.
Unidad Académica responsable: Centro de Investigación y Proyectos en Simulación y Modelos (CESIMO).
Nombre de la Asignatura: Lógica y ...