Temas de "Lógica informática (G1 2003-04)"

• Tema 1: Sintaxis y semántica de la lógica proposicional. (ejercicios).
• Tema 2: Equivalencias y formas normales. (ejercicios).
• Tema 3: Tableros semánticos. (ejercicios).
• Tema 4: Lógica clausal. Resolución. (ejercicios).
• Tema 5: Otros sistemas proposicionales. (ejercicios).
• Tema 6: Sintaxis y semántica de la lógica de primer orden. (ejercicios).
• Tema 7: Cálculo deductivo de primer orden. (ejercicios).
• Tema 8: Formas normales. Cláusulas. (ejercicios y soluciones).
• Tema 9: Modelos de Herbrand. (ejercicios y soluciones).
• Tema 10: Resolución. (ejercicios y soluciones).

[ Inicial | Temas | Documentación | Sistemas | Exámenes ]