Curso de Lógica y Matemática - Unidad 1: Introducción a la lógica matemática

dc.creatorDávila, Jacinto
dc.date2003-01-17
dc.date2003-01-17T09:00:00Z
dc.date2003-01-17T09:00:00Z
dc.date2003-01-17
dc.date2003-01-17T09:00:00Z
dc.date.accessioned2017-03-03T13:49:49Z
dc.date.available2017-03-03T13:49:49Z
dc.identifierT016300000790/4
dc.identifierhttp://www.saber.ula.ve/handle/123456789/16215
dc.identifier.urihttp://repositorioslatinoamericanos.uchile.cl/handle/2250/200475
dc.descriptionCurso 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
dc.descriptionjacinto@ula.ve
dc.descriptionNivel analítico
dc.format445894
dc.languagees
dc.publisherSABER ULA
dc.subjectLógica y Matemática
dc.subjectLógica
dc.subjectMatemáticas
dc.subjectComputación
dc.subjectSimulación
dc.subjectLógica proposicional
dc.subjectLógica de predicados
dc.subjectProgramación lógica
dc.subjectTeoría de prueba
dc.subjectTeoría de modelos
dc.subjectReglas de resolución
dc.subjectGuías de estudio
dc.titleCurso de Lógica y Matemática - Unidad 1: Introducción a la lógica matemática


Este ítem pertenece a la siguiente institución