Diferencia entre revisiones de «Sistemas»
De Razonamiento automático (2018-19)
(Página creada con «En esta página se irá escribiendo enlaces a los sistemas utilizados en el curso») |
(→Editores de pruebas por secuentes) |
||
| (No se muestran 8 ediciones intermedias del mismo usuario) | |||
| Línea 1: | Línea 1: | ||
En esta página se irá escribiendo enlaces a los sistemas utilizados en el curso | En esta página se irá escribiendo enlaces a los sistemas utilizados en el curso | ||
| + | |||
| + | == Asistentes de demostración == | ||
| + | * [http://www.cl.cam.ac.uk/research/hvg/Isabelle/index.html Isabelle/HOL]. | ||
| + | |||
| + | == Editores de pruebas por deducción natural == | ||
| + | * [http://www.doc.ic.ac.uk/pandora/newpandora Pandora]. | ||
| + | |||
| + | == Editores de pruebas por secuentes == | ||
| + | * [http://logitext.mit.edu/main Logitext] (un demostrador interactivo basado en el cálculo de secuentes). | ||
| + | |||
| + | == Formalización == | ||
| + | * [http://protosmart.uhu.es/apli2/login APLI2 (APLIcación de Ayuda Para Lógica Informática)]. | ||
Revisión actual del 19:30 8 feb 2022
En esta página se irá escribiendo enlaces a los sistemas utilizados en el curso
Sumario
1 Asistentes de demostración
2 Editores de pruebas por deducción natural
3 Editores de pruebas por secuentes
- Logitext (un demostrador interactivo basado en el cálculo de secuentes).