Diferencia entre revisiones de «Sistemas»
De Razonamiento automático (2017-18)
(→Sistemas utilizados en Razonamiento automático (2017-18)) |
|||
| Línea 5: | Línea 5: | ||
# [http://www.glc.us.es/apli2 APLI2 (APLIcación de Ayuda Para Lógica Informática)]. | # [http://www.glc.us.es/apli2 APLI2 (APLIcación de Ayuda Para Lógica Informática)]. | ||
# [http://web.student.chalmers.se/~jespolss/Conan.html Conan] (un editor de demostraciones por deducción natural). | # [http://web.student.chalmers.se/~jespolss/Conan.html Conan] (un editor de demostraciones por deducción natural). | ||
| + | # [https://elfe-prover.org ELFE prover] (Interactive theorem proving for students). | ||
# [http://logitext.mit.edu/main Logitext] (un demostrador interactivo basado en el cálculo de secuentes). | # [http://logitext.mit.edu/main Logitext] (un demostrador interactivo basado en el cálculo de secuentes). | ||
Revisión del 12:35 22 oct 2017
Sistemas utilizados en Razonamiento automático (2017-18)
En esta página se irá escribiendo enlaces a los sistemas utilizados en el curso
- Isabelle/HOL.
- APLI2 (APLIcación de Ayuda Para Lógica Informática).
- Conan (un editor de demostraciones por deducción natural).
- ELFE prover (Interactive theorem proving for students).
- Logitext (un demostrador interactivo basado en el cálculo de secuentes).