Acciones

Diferencia entre revisiones de «Sistemas»

De Razonamiento automático (2018-19)

(Editores de pruebas por deducción natural)
(Editores de pruebas por secuentes)
 
Línea 8: Línea 8:
  
 
== Editores de pruebas por secuentes ==
 
== Editores de pruebas por secuentes ==
* [http://www.uni-kassel.de/eecs/fachgebiete/fmv/projects/sequent-calculus-trainer.html Sequent Calculus Trainer] (un demostrador para el cálculo de 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 18:30 8 feb 2022

En esta página se irá escribiendo enlaces a los sistemas utilizados en el curso

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).

4 Formalización