Buscar
Itens para a visualização no momento 141-146 of 146
Curso de Lógica y Matemática - Unidad 1: Introducción a la lógica matemática
(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 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)