Mostrar el registro sencillo del ítem
Curso de Lógica y Matemática - Unidad 5: Aplicaciones de la lógica computacional
dc.contributor.author | Dávila, Jacinto | es_VE |
dc.date | 2003-01-17 | es_VE |
dc.date.accessioned | 2003-01-17T09:00:00Z | |
dc.date.available | 2003-01-17T09:00:00Z | |
dc.date.created | 2003-01-17 | es_VE |
dc.date.issued | 2003-01-17T09:00:00Z | es_VE |
dc.identifier.other | T016300000790/8 | es_VE |
dc.identifier.uri | http://www.saber.ula.ve/handle/123456789/16221 | |
dc.description.abstract | 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 | es_VE |
dc.format.extent | 56740 | es_VE |
dc.language.iso | es | es_VE |
dc.publisher | SABER ULA | es_VE |
dc.subject | Lógica y Matemática | es_VE |
dc.subject | Lógica | es_VE |
dc.subject | Computación | es_VE |
dc.subject | Simulación | es_VE |
dc.subject | Matemáticas | es_VE |
dc.title | Curso de Lógica y Matemática - Unidad 5: Aplicaciones de la lógica computacional | es_VE |
dc.description.email | jacinto@ula.ve | es_VE |
dc.description.tiponivel | Nivel analítico | es_VE |
dc.subject.tipo | Guías de estudio | es_VE |
Ficheros en el ítem
Este ítem aparece en la(s) siguiente(s) colección(ones)
-
Curso de Lógica y Matemática
Curso de Lógica y Matemática -
Curso de Lógica y Matemática
Curso de Lógica y Matemática