Unidades de Investigación de la Facultad de Ingeniería: Envíos recientes
Voici les éléments 361-365 de 365
-
Curso de Lógica y Matemática - Unidad 4: Negación en programación lógica
(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
(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 ... -
Curso de Lógica y Matemática - Datos del curso
(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 ... -
Clase # 0.
(SABER ULA, 2002-04-04) -
Clase # 1.
(SABER ULA, 2002-04-04)

