Jape (software) - Jape (software)

Žert^[1] je konfigurovatelný, grafický důkaz asistent, původně vyvinutý společností Richard Bornat na Queen Mary, University of London a Bernard Sufrin the University of Oxford. Umožňuje uživateli definovat a logika, rozhodnout, jak zobrazit důkazy, a mnoho dalšího. Pracuje s variantami následný počet a přirozený odpočet.

To je nárokováno^[2] že Jape je nejpopulárnější program pro „počítačově podporovanou logickou výuku“, který zahrnuje cvičení při vypracovávání důkazů v matematická logika.

Program je k dispozici pro Mac, Unix, a Okna operační systémy. Je to napsáno v Jáva programovací jazyk a vydán pod GNU GPL.

Reference

^ Richard Bornat, "Proof and Disproof in Formal Logic: An Introduction for Programmers."
^ C. Kaliszyk, F. Wiedijk, M. Hendriks a F. van Raamsdonk, "Výuka logiky pomocí špičkového zkušebního asistenta "In: H. Geuvers a P. Courtieu (eds.), PATE'07, mezinárodní workshop o důkazních asistentech a typech ve vzdělávání, 37–50, 2007.

externí odkazy

Jape Online oficiální distribuční web
Žert Sourceforge portál

Tento software článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.

[1] Richard Bornat, "Proof and Disproof in Formal Logic: An Introduction for Programmers."

[2] C. Kaliszyk, F. Wiedijk, M. Hendriks a F. van Raamsdonk, "Výuka logiky pomocí špičkového zkušebního asistenta "In: H. Geuvers a P. Courtieu (eds.), PATE'07, mezinárodní workshop o důkazních asistentech a typech ve vzdělávání, 37–50, 2007.

[1]

[2]