Sistemas usados en "Lógica matemática y fundamentos" (2012-13)

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

• 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 (copia local)
  • Isabelle/HOL
• Tableros semánticos:
  • Tree Proof Generator
• Formas normales disyuntivas:
  • Ideas (Exercise Assistant Online) (usar cualquier número como login).
• Resolución:
  • Prover9/Mace4.

[ Inicial | Temas | Ejercicios | Documentación | Sistemas ]