Lógica
inco
|
fing
|
udelar
Untitled
Curso
Principal
Cartelera
Horarios
Docentes
Programa
Bibliografía
Resultados
Material
Teórico
Práctico
Ejemplos
Parciales
Notas
Otros Recursos
Artículos
Software
Utilitarios
Links
Curso 2011
Cartelera 2011
Software vinculado a Lógica
Asistentes de Prueba
Yoda: a simple tool for natural deduction
, presentado en Tools for Teaching Logic, Third International Congress, TICTTL 2011, Salamanca, Spain.
YODA para Proposicional
YODA para Predicados
Editor de pruebas para la lógica proposicional hecho en el InCo. En las salas de máquina de Facultad utilizar Firefox.
Alfie's home page
Editor de pruebas para la lógica proposicional.
The Logic Machine
Asistente para la demostración de teoremas del cálculo de predicados.
COQ