Jape [1] es un asistente de pruebas gráficas configurable, desarrollado originalmente por Richard Bornat en Queen Mary, Universidad de Londres y Bernard Sufrin en la Universidad de Oxford . Permite al usuario definir una lógica , decidir cómo ver las pruebas y mucho más. Funciona con variantes del cálculo secuencial y deducción natural .
Se afirma [2] que Jape es el programa más popular para "enseñanza de lógica asistida por computadora" que involucra ejercicios para desarrollar demostraciones en lógica matemática .
El programa está disponible para los sistemas operativos Mac , Unix y Windows . Está escrito en el lenguaje de programación Java y publicado bajo GNU GPL .
Referencias
- ^ Richard Bornat , " Prueba y refutación en lógica formal: una introducción para programadores ".
- ^ C. Kaliszyk, F. Wiedijk, M. Hendriks y F. van Raamsdonk, " Enseñanza de la lógica con un asistente de pruebas de última generación ". En: H. Geuvers y P. Courtieu (eds.), PATE'07, International Workshop on Proof Assistants and Types in Education, 37–50, 2007.
enlaces externos
- Sitio web de distribución oficial de Jape Online
- Portal de Jape Sourceforge