Curso de Lógica y Matemática http://www.saber.ula.ve/handle/123456789/2164 2026-04-15T04:26:56Z 2026-04-15T04:26:56Z Dávila, Jacinto http://www.saber.ula.ve/handle/123456789/16218 2018-03-13T23:55:49Z 2005-01-07T09:00:00Z

Curso de Lógica y Matemática Dávila, Jacinto 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 Acrobat Reader (lector para formato PDF). Si no lo tiene, lo puede obtener en forma gratuita directamente en este enlace Datos del curso Introducción del curso Contenido: Unidad 0: ¿Por qué estudiamos lógica?. Unidad 1: Introducción a la lógica matemática. Unidad 2: Matemática discreta. Unidad 3: Programación en lógica definida y resolución. Unidad 4: Negación en programación lógica. Unidad 5: Aplicaciones de la lógica computacional. Referencias Estadísticas de consulta de este documento

2005-01-07T09:00:00Z Dávila, Jacinto http://www.saber.ula.ve/handle/123456789/16231 2018-03-13T23:55:52Z 2003-01-17T09:00:00Z

Curso de Lógica y Matemática - Referencias Dávila, Jacinto 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

2003-01-17T09:00:00Z Dávila, Jacinto http://www.saber.ula.ve/handle/123456789/16227 2018-03-13T23:55:51Z 2003-01-17T09:00:00Z

Curso de Lógica y Matemática - Unidad 3: Programación en lógica definida y resolución Dávila, Jacinto 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 las láminas y realizar los ejercicios de computación que se sugieren allí. Evaluación: Debates. Material de apoyo: Capítulo 2 y 3 de libro de texto. Bitácoras y láminas de clase. SESIONES DE UNIDAD 03: Sesión 1: Resolución y la interpretación procedimental de los programas lógicos. Descripción: Repasamos los elementos de la teoría de modelos en lógica y aprendemos a usarle para definir la semántica de un lenguaje de programación. Actividades: Revisar las láminas. Evaluación: Debates y ejercicios en el computador. Material de apoyo: Bitácoras y láminas de clase. Sesión 2: Una semántica única para programas lógicos definidos. Descripción: Repasamos los elementos de la teoría de modelos en lógica y aprendemos a usarle para definir la semántica de un lenguaje de programación. . Actividades: Revisión de las bitácoras y de las láminas. Evaluación: En el primer examen parcial. Material de apoyo: Bitácoras y láminas de clase. Tabla de contenido del Curso de Lógica y Matemática

2003-01-17T09:00:00Z Dávila, Jacinto http://www.saber.ula.ve/handle/123456789/16209 2018-03-13T23:55:46Z 2003-01-17T09:00:00Z

Curso de Lógica y Matemática - Unidad 0: ¿Por qué estudiamos lógica? Dávila, Jacinto 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 las láminas. Participar en los debates. Evaluación: Argumentos en los debates y primer parcial. Material de apoyo: Bitácoras y láminas de clase. SESIONES DE UNIDAD 00: Sesión 1: Para qué estudiamos lógica. Descripción: 11 respuestas a esa pregunta. Actividades: Revisar las láminas y los textos que indicará el profesor. Evaluación: Debates. Material de apoyo: Bitácoras y láminas de clase. Sesión 2: La matemática y la argumentación (antes de Aristóteles). Descripción: Revisamos algunos resultados históricos en matemática previos a la invención de la lógica. Definimos que es un argumento. Actividades: Revisión de las bitácoras y de las láminas. Evaluación: Un argumento no formal. Material de apoyo: Bitácoras y láminas de clase. Sesión 3: La lógica de Aristóteles. Descripción: Discutimos el lenguaje que creó el gran filósofo Aristóteles. Actividades: Revisión de las bitácoras y de las láminas. Evaluación: Un ejercicio en el computador. Material de apoyo: Bitácoras y láminas de clase. Tabla de contenido del Curso de Lógica y Matemática

2003-01-17T09:00:00Z Dávila, Jacinto http://www.saber.ula.ve/handle/123456789/16212 2018-03-13T23:55:47Z 2003-01-17T09:00:00Z

Curso de Lógica y Matemática - Unidad 2: Matemática discreta Dávila, Jacinto 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 láminas y varios ejercicios en el computador. Evaluación: Debates. Material de apoyo: Cualquier texto de matemáticas discretas. Bitácoras y láminas de clase. SESIONES DE UNIDAD 02: Sesión 1: Inducción matemática y conjuntos parcialmente ordenados. Descripción: Conocemos la regla de inducción matemática y cómo se le emplea en razonamiento formal. Luego definimos los conjuntos parcialmente ordenados y discutimos cómo convertirlos en una estructura de significación para un lenguaje. Actividades: Revisar las láminas. Evaluación: Debates y ejercicios en el computador. Material de apoyo: Bitácoras y láminas de clase. Sesión 2: Fundamentos de la teoría de grafos. Descripción: Revisamos los fundamentos de la teoría de grafos y algunos reconstrucciones lógicas de problemas y algoritmos asociados con grafos. Actividades: Revisión de las bitácoras y de las láminas. Evaluación: Un argumento no formal. Material de apoyo: Bitácoras y láminas de clase. Tabla de contenido del Curso de Lógica y Matemática

2003-01-17T09:00:00Z Dávila, Jacinto http://www.saber.ula.ve/handle/123456789/16214 2018-03-13T23:55:48Z 2003-01-17T09:00:00Z

Curso de Lógica y Matemática - Introducción del curso Dávila, Jacinto 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 conjunto de símbolos y un conjunto de reglas para combinar esos símbolos de manera que formen palabras y oraciones que tengan sentido para las personas que hablan ese lenguaje. La lógica matemática (en sus distintas versiones) se ajusta a esa definición por cuanto: Establece un conjunto de símbolos básicos (el vocabulario o alfabeto del lenguaje). Establece un conjunto de reglas precisas para combinar esos símbolos en palabras y oraciones (es decir, define rigurosamente la sintaxis del lenguaje) e inclusive: Indica (de nuevo a través de reglas y construcciones matemáticas) el significado de esas palabras y oraciones. Es decir, los diseñadores del lenguaje definen rigurosamente la semántica del lenguaje. Su intención es garantizar que cualquiera que entienda estas reglas y construcciones podrá entender las oraciones del lenguaje. En este curso, conoceremos este lenguaje y aprenderemos a usarlo para programar computadores. Objetivos del Curso: Objetivo General: Conocer el lenguaje de la lógica matemática y usarlo para programar computadores. Objetivos Especificos: Resumir la historia del desarrollo de la lógica y explicar sus principales acontecimientos. Explicar qué es un argumento y que significa probar una afirmación. Describir el lenguaje de la lógica proposicional. Describir el lenguaje del cálculo de predicados y explicar su relación con la lógica proposicional. Describir la forma clausal de la lógica de primer orden y explicar cómo convertir oraciones lógica a la forma clausal. Explicar en que consiste la interpretación procedimental de la lógica. Explicar que és inducción matemática y como se le puede usar en argumentación y para prueba de teoremas. Explicar los conceptos básicos en teoría de conjuntos, funciones, relaciones y grafos. Describir los fundamentos del algebra booleana y su relación con la lógica. Explicar el principio de Resolución. Explicar qué es resolución SLD. Explicar cómo se usan las abstracciones de conjuntos parcialmente ordenados y latises para definir la semántica de los lenguajes de programación lógica. Explicar en que consiste la suposición de un mundo cerrado y cual es su relación con la negación en programación lógica. Programar algoritmos de búsqueda sobre árboles, usando programas lógicos. Representar un autómata como un programa lógico. Describir un máquina universal de Turing y un AGENTE en lógica. Misión del Curso: Transmitir a los estudiantes los elementos mínimos de la argumentación, el razonamiento formal y la representación de conocimiento para procesamiento automático. Tabla de contenido del Curso de Lógica y Matemática

2003-01-17T09:00:00Z Dávila, Jacinto http://www.saber.ula.ve/handle/123456789/16215 2018-03-13T23:55:48Z 2003-01-17T09:00:00Z

Curso de Lógica y Matemática - Unidad 1: Introducción a la lógica matemática Dávila, Jacinto 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: Revisión de material de apoyo y las láminas. Lectura del capitulo 1 del libro texto. Material de apoyo: Capítulo 1 del libro texto. Bitácoras y láminas de clase. Manual de PROLOG. SESIONES DE UNIDAD 01: Sesión 1: La lógica proposicional Descripción: Definimos el lenguaje de la lógica proposicional y discutimos sobre su expresividad. Actividades: Revisar las láminas. Evaluación: Debates y ejercicios en el computador. Material de apoyo: Bitácoras y láminas de clase. Sesión 2: La lógica de predicados de primer orden. Descripción: Definimos el lenguaje de la lógica de predicados de primer orden. Conocemos de las reglas para razonar con ese lenguaje. Comentamos acerca de la expresividad alcanzada con el nuevo lenguaje. Actividades: Revisión de las bitácoras y de las láminas. Evaluación: Un argumento no formal. Material de apoyo: Bitácoras y láminas de clase. Sesión 3: Fundamentos de la lógica computacional. Descripción: Discutimos los principios de la programación lógica. Conocemos los elementos de llamadas TEORIA DE PRUEBA y la TEORIA DE MODELOS que fundamental la lógica computacional. Actividades: Revisión de las bitácoras y de las láminas. Evaluación: Un debate. Material de apoyo: Bitácoras y láminas de clase. Tabla de contenido del Curso de Lógica y Matemática

2003-01-17T09:00:00Z Dávila, Jacinto http://www.saber.ula.ve/handle/123456789/16224 2018-03-13T23:55:50Z 2003-01-17T09:00:00Z

Curso de Lógica y Matemática - Unidad 4: Negación en programación lógica Dávila, Jacinto 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 apoyo y de las láminas. Evaluación: Debate (y contenidos para el segundo examen parcial). Material de apoyo: Capítulo 4 de libro de texto. Bitácoras y láminas de clase. SESIONES DE UNIDAD 04: Sesión 1: Negación por falla y razonamiento no monótono. Descripción: Revisamos la definición de la regla de negación por falla como forma de razonamiento no monótono. También conocermos los efectos que tiene la introducción de la negación en los programas lógicos. Actividades: Revisar las láminas. Evaluación: Debates y ejercicios en el computador. Material de apoyo: Bitácoras y láminas de clase. Sesión 2: Programas completos y otras restricciones en la sintaxis de los programas lógicos con negación. Descripción: Conocemos la definición de la completitud de Clark como estrategia para definir la semántica de programas lógicos con negaciones. También revisamos algunas estrategias complementarias para definir el significado de la negación. Actividades: Revisión de las bitácoras y de las láminas. Evaluación: Los debates y el material para el segundo examen parcial. Material de apoyo: Bitácoras y láminas de clase. Tabla de contenido del Curso de Lógica y Matemática

2003-01-17T09:00:00Z Dávila, Jacinto http://www.saber.ula.ve/handle/123456789/16221 2018-03-13T23:55:50Z 2003-01-17T09:00:00Z

Curso de Lógica y Matemática - Unidad 5: Aplicaciones de la lógica computacional Dávila, Jacinto 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 para resolución de problemas, máquina abstractas. Completamos el curso con una breve inducción a la teoría de agentes basados en lógica. Actividades: Ejercicios de desarrollo y proyecto. Material de apoyo: Capítulo 5,6,8,9 y 10 del libro de texto. Documentos en la WEB. Manual de PROLOG. SESIONES DE UNIDAD 05: Sesión 1: Búsqueda para resolver problemas. Descripción: Realizamos la reconstrucción lógica de los más conocidos algoritmos de búsqueda y discutimos su uso en aplicaciones como la planificación automática. Actividades: Revisar las láminas. Evaluación: Debates y ejercicios en el computador. Es tiempo de completar el proyecto. Material de apoyo: Bitácoras y láminas de clase. Sesión 2: Máquinas abstractas y Agentes en lógica computacional. Descripción: Por medio de una aplicación industrial, conocemos como describir máquinas abstractas en lógica y discutimos como mejorar esas representaciones. Completamos el curso con una breve inducción a los agentes en lógica computacional. Actividades: Revisión de las bitácoras y de las láminas. Evaluación: El proyecto. Material de apoyo: Bitácoras y láminas de clase. Tabla de contenido del Curso de Lógica y Matemática

2003-01-17T09:00:00Z Dávila, Jacinto http://www.saber.ula.ve/handle/123456789/16216 2018-03-13T23:55:49Z 2003-01-17T09:00:00Z

Curso de Lógica y Matemática - Datos del curso Dávila, Jacinto 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 Matemática Código: En el postgrado en computación: PC101. En el postgrado en modelado y simulación: PGMSIM-05. Fecha de Inicio: Septiembre de 2002. Duración: 16 semanas. Nivel de Instrucción de curso: Actualización: Pregrado: Postgrado: Maestría: X Doctorado: X Especialización: X Unidades de Crédito: 4 unidades crédito. Prelación: Título de licenciatura o equivalente. Observaciones: en inglés debe llamarse Introduction to logic and logic programming. Datos del Profesor: Ver Ficha Personal, Jacinto Dávila Tabla de contenido del Curso de Lógica y Matemática

2003-01-17T09:00:00Z