Afficher la notice abrégée

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

dc.contributor.authorDávila, Jacintoes_VE
dc.date2003-01-17es_VE
dc.date.accessioned2003-01-17T09:00:00Z
dc.date.available2003-01-17T09:00:00Z
dc.date.created2003-01-17es_VE
dc.date.issued2003-01-17T09:00:00Zes_VE
dc.identifier.otherT016300000790/4es_VE
dc.identifier.urihttp://www.saber.ula.ve/handle/123456789/16215
dc.description.abstractCurso 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áticaes_VE
dc.format.extent445894es_VE
dc.language.isoeses_VE
dc.publisherSABER ULAes_VE
dc.subjectLógica y Matemáticaes_VE
dc.subjectLógicaes_VE
dc.subjectMatemáticases_VE
dc.subjectComputaciónes_VE
dc.subjectSimulaciónes_VE
dc.subjectLógica proposicionales_VE
dc.subjectLógica de predicadoses_VE
dc.subjectProgramación lógicaes_VE
dc.subjectTeoría de pruebaes_VE
dc.subjectTeoría de modeloses_VE
dc.subjectReglas de resoluciónes_VE
dc.titleCurso de Lógica y Matemática - Unidad 1: Introducción a la lógica matemáticaes_VE
dc.description.emailjacinto@ula.vees_VE
dc.description.tiponivelNivel analíticoes_VE
dc.subject.tipoGuías de estudioes_VE


Fichier(s) constituant ce document

Thumbnail
Nom:
lm-u1.pdf
Taille:
435.4Ko
Format:
PDF
Voir/Ouvrir
Thumbnail
Nom:
libro-texto.pdf
Taille:
1.909Mo
Format:
PDF
Voir/Ouvrir
Thumbnail
Nom:
resumen.htm
Taille:
3.145Ko
Format:
HTML
Voir/Ouvrir

Ce document figure dans la(les) collection(s) suivante(s)

Afficher la notice abrégée