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