Envíos recientes

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 ...

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 ...