Sistemas usados en "Lógica informática" (2015-16)
En esta página se encuentran enlaces a los sistemas utilizados en en el curso "Lógica informática".
- Formalización:
- Tablas de verdad, árboles de formación y formas
normales:
- Gateway to Logic.
- BoolTool.
- Truth tables (para android).
- Deducción natural:
- Pandora (vÃdeos con ejemplo 1 y ejemplo 2).
- Natural deduction.
- Tableros semánticos:
- Resolución:
- Prolog:
- SWI Prolog
- SldDraw: Herramienta para representar árboles SLD.