Afficher la notice abrégée

Curso de Lógica y Matemática - Unidad 4: Negación en programación lógica

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/7es_VE
dc.identifier.urihttp://www.saber.ula.ve/handle/123456789/16224
dc.description.abstractCurso 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áticaes_VE
dc.format.extent300210es_VE
dc.language.isoeses_VE
dc.publisherSABER ULAes_VE
dc.subjectLógica y Matemáticaes_VE
dc.subjectLógicaes_VE
dc.subjectComputaciónes_VE
dc.subjectMatemáticases_VE
dc.subjectSimulaciónes_VE
dc.titleCurso de Lógica y Matemática - Unidad 4: Negación en programación lógicaes_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-u4.pdf
Taille:
293.1Ko
Format:
PDF
Voir/Ouvrir
Thumbnail
Nom:
libro-texto.pdf
Taille:
1.909Mo
Format:
PDF
Voir/Ouvrir
Thumbnail
Nom:
resumen.htm
Taille:
2.731Ko
Format:
HTML
Voir/Ouvrir

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

Afficher la notice abrégée