Sistemas usados en "Lógica informática" (2011-12)

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
  • Jape y cálculo para la asignatura LI .
  • AProS (Automated Proof Search).
• Tableros semánticos:
  • Tree Proof Generator
• Formas normales disyuntivas:
  • Ideas (Exercise Assistant Online) (usar cualquier número como login).
• Resolución:
  • Prover9/Mace4.
• Prolog:
  • SWI Prolog
  • SldDraw: Herramienta para representar árboles SLD.
• Sistema SAT (satisfacibilidad de fórmulas proposicionales):
  • SAToulouse.

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