Sistemas usados en "Lógica informática" (2014-15)

En esta página se encuentran enlaces a los sistemas utilizados en en el curso "Lógica informática".

• Formalización:
  • APLI2 (APLIcación de Ayuda Para Lógica Informática).
• Tablas de verdad, árboles de formación y formas normales:
  • Gateway to Logic.
• Deducción natural:
  • Pandora (vídeos con ejemplo 1 y ejemplo 2).
  • Isabelle/HOL
• Tableros semánticos:
  • Tree Proof Generator
• Resolución:
  • Prover9/Mace4.
• Prolog:
  • SWI Prolog
  • SldDraw: Herramienta para representar árboles SLD.

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