Parcourir Unidades de Investigación de la Facultad de Ingeniería par auteur "Dávila, Jacinto"
Voici les éléments 1-14 de 14
-
Curso de Lógica y Matemática
Dávila, Jacinto (SABER ULA, 2005-01-07)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 ... -
Curso de Lógica y Matemática - Datos del curso
Dávila, Jacinto (SABER ULA, 2003-01-17)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 ... -
Curso de Lógica y Matemática - Introducción del curso
Dávila, Jacinto (SABER ULA, 2003-01-17)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 ... -
Curso de Lógica y Matemática - Referencias
Dávila, Jacinto (SABER ULA, 2003-01-17)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 ... -
Curso de Lógica y Matemática - Unidad 0: ¿Por qué estudiamos lógica?
Dávila, Jacinto (SABER ULA, 2003-01-17)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 ... -
Curso de Lógica y Matemática - Unidad 1: Introducción a la lógica matemática
Dávila, Jacinto (SABER ULA, 2003-01-17)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: ... -
Curso de Lógica y Matemática - Unidad 2: Matemática discreta
Dávila, Jacinto (SABER ULA, 2003-01-17)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 ... -
Curso de Lógica y Matemática - Unidad 3: Programación en lógica definida y resolución
Dávila, Jacinto (SABER ULA, 2003-01-17)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 ... -
Curso de Lógica y Matemática - Unidad 4: Negación en programación lógica
Dávila, Jacinto (SABER ULA, 2003-01-17)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 ... -
Curso de Lógica y Matemática - Unidad 5: Aplicaciones de la lógica computacional
Dávila, Jacinto (SABER ULA, 2003-01-17)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 ... -
Una gramática de estilos para resumir textos en español
Contreras Zambrano, Hilda Yelitza; Dávila, Jacinto (SABER ULA, 2007-03-19)Una gramática de estilos para resumir textos en español (Jacinto A. Dávila Quintero, Hilda Y. Contreras Zambrano) Resumen Este artículo presenta un experimento lingüístico que consiste en resumir textos escritos en ... -
Información Investigador: Dávila Quintero, Jacinto Alfonso
Dávila, Jacinto (2008-09-19) -
Introducción a la lingüística computacional con una perspectiva interdisciplinaria
Dávila, Jacinto; Contreras Zambrano, Hilda Yelitza; Márquez Rojas, Melva J.; Parra, M. Marilú; Astorga, Luis; Myerston, Jacobo (SABER ULA, 2007-03-19)Introducción a la lingüística computacional con una perspectiva interdisciplinaria (Jacinto A. Dávila, Luis Astorga, Melva Márquez, Hilda Y. Contreras, Jacobo Myerston, M. Marilú Parra) Resumen Este artículo presenta ... -
Procesamiento del lenguaje natural basado en una "gramática de estilos" para el idioma español
Contreras Zambrano, Hilda Yelitza; Dávila, Jacinto (SABER ULA, 2007-03-19)Procesamiento del lenguaje natural basado en una "gramática de estilos" para el idioma español (Jacinto A. Dávila Quintero, Hilda Y. Contreras Zambrano) Resumen Este artículo presenta un proyecto de investigación que ...