Sistemas usado en "Lógica informática" (G1 2003-04)

• Tablas de verdad: Programa de N.S. Burris
• Tableros semánticos: Tree Proof Generator
• Deducción natural: Jape y cálculo para la asignatura LI.

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