WikiDer > Yaponiya (dasturiy ta'minot)
Jape (software)
Yaponiya[1] sozlanishi, grafik dalil yordamchisi, dastlab tomonidan ishlab chiqilgan Richard Bornat da Qirolicha Meri, London universiteti va Bernard Sufrin The Oksford universiteti. Bu foydalanuvchiga a ni aniqlashga imkon beradi mantiq, dalillarni qanday ko'rishni hal qilish va boshqa ko'p narsalar. Ning variantlari bilan ishlaydi ketma-ket hisoblash va tabiiy chegirma.
Bu da'vo qilingan[2] Jape bu "kompyuter yordamida mantiqni o'qitish" uchun eng mashhur dastur bo'lib, u dalillarni ishlab chiqish bo'yicha mashqlarni o'z ichiga oladi matematik mantiq.
Dastur uchun mavjud Mac, Unixva Windows operatsion tizimlar. Bu yozilgan Java dasturlash tili va ostida chiqarilgan GNU GPL.
Adabiyotlar
- ^ Richard Bornat, "Rasmiy mantiqda isbot va o'chirish: dasturchilar uchun kirish."
- ^ K. Kalishik, F. Videyk, M. Xendriks va F. van Raamsdonk "Zamonaviy isbotlovchi yordamchi yordamida mantiqni o'rgatish. "In: H. Geuvers va P. Courtieu (tahr.), PATE'07, Ta'limning yordamchilari va turlari bo'yicha xalqaro seminar, 37–50, 2007.
Tashqi havolalar
- Jape Online rasmiy tarqatish veb-sayti
- Yaponiya Sourceforge portal
 | Bu dasturiy ta'minot maqola a naycha. Siz Vikipediyaga yordam berishingiz mumkin uni kengaytirish. |