Diferencia entre revisiones de «Sistemas»
De Razonamiento automático (2019-20)
Línea 8: | Línea 8: | ||
== Editores de pruebas por secuentes == | == Editores de pruebas por secuentes == | ||
* [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). | ||
== Formalización == | == Formalización == | ||
* [http://protosmart.uhu.es/apli2/login APLI2 (APLIcación de Ayuda Para Lógica Informática)]. | * [http://protosmart.uhu.es/apli2/login APLI2 (APLIcación de Ayuda Para Lógica Informática)]. |
Revisión actual del 19:31 8 feb 2022
En esta página se irá escribiendo enlaces a los sistemas utilizados en el curso
Asistentes de demostración
Editores de pruebas por deducción natural
Editores de pruebas por secuentes
- Logitext (un demostrador interactivo basado en el cálculo de secuentes).