برنامج جاب

📅 آخر تحديث: ٢ أغسطس ٢٠٢٦
✍️ نُشر في: ٢ أغسطس ٢٠٢٦
الموسوعة الحرة

Jape هو مساعد تدقيق رسومي قابل للتخصيص ، طُوِّر في الأصل بواسطة ريتشارد بورنات في جامعة كوين ماري بلندن وبرنارد سوفرين في جامعة أكسفورد . [ 2 ] البرنامج متوفر لأنظمة التشغيل ماك ، ويونكس ، وويندوز . وهو مكتوب بلغة برمجة جافا ومُرخَّص بموجب رخصة جنو العمومية العامة (GNU GPL) .

يُزعم أن برنامج Jape هو البرنامج الأكثر شعبية لـ "تعليم المنطق بمساعدة الحاسوب" والذي يتضمن تمارين في تطوير البراهين في المنطق الرياضي . [ 3 ]

تاريخ

تم ابتكار برنامج Jape في عام 1992 من قبل ريتشارد بورنات وبرنارد سوفرين بهدف تحسين فهم الاستدلال الرسمي. وقد اقترح برنارد سوفرين اسم "Jape". [ 2 ]

في عام 2019، قاموا بنشر الكود على موقع GitHub. [ 4 ]

ملخص

يدعم برنامج Jape اكتشاف البراهين بتوجيه بشري ضمن منطق يُحدده المستخدم كنظام من قواعد الاستدلال . ويربط البرنامج إيماءات المستخدم (مثل الكتابة، أو النقر بالماوس، أو السحب) بإجراءات البرهان التي يقوم بها المساعد. لا يمتلك Jape أي معرفة خاصة بمنطق الكائنات أو نظريتها ، ولن يُجري أي خطوات في البرهان إلا إذا كانت مبررة بقواعد منطق الكائنات المُحمّل حاليًا. [ 5 ] يسمح Jape بإضافة خطوات البرهان والتراجع عنها، كما يُظهر تأثير الخطوات المُضافة، مما يُساعد على فهم استراتيجيات إيجاد البراهين. [ 2 ] : 60 عند إضافة المستخدم لخطوات البرهان أو إزالتها، يتم إنشاء شجرة البرهان التي يُمكن لـ Jape عرضها إما على شكل شجرة أو في شكل مربعات. [ 5 ] يسمح Jape بعرض البراهين على مستويات تجريد مختلفة. كما يُمكن عرض برهان أمامي بأسلوب استنتاج طبيعي باستخدام أوضاع العرض المُخصصة للبراهين. [ 6 ]

يعمل برنامج Jape مع متغيرات حساب المتتاليات والاستنتاج الطبيعي . كما يدعم البراهين الرسمية باستخدام المحددات الكمية . [ 2 ] : 84

انظر أيضاً

مراجع

  1. ↑ "تصحيح إكمال البرهان (وإصلاح نوافذ مقاومة للبرامج غير القابلة للاستخدام)" . GitHub . تم الاطلاع عليه في 11 يناير 2024 .
  2. 1 2 3 4 بورنات، ريتشارد (1 فبراير 2017). "الإثبات والدحض في المنطق الصوري: مقدمة للمبرمجين" (ملف PDF) . مؤرشف (ملف PDF) من الأصل في 18 أبريل 2022. تم الاطلاع عليه في 11 يناير 2024 .
  3. ↑ سيزاري كاليسزيك؛ فريك ويديك؛ ماكسيم هندريكس؛ فيمكي فان رامسدونك (2007). "تدريس المنطق باستخدام مساعد إثبات متطور" (ملف PDF) . هـ. جوفرز وب. كورتيو (محرران)، PATE'07، ورشة العمل الدولية حول مساعدي الإثبات وأنواع البيانات في التعليم : 37-50 . مؤرشف من النسخة الأصلية (ملف PDF) في 17 يناير 2023.
  4. ↑ "(معدل) الإصدار الأول على جيت هاب" . جيت هاب . 6 ديسمبر 2019. تم الاطلاع عليه في 11 يناير 2024 .
  5. 1 2 سوفرين، برنارد؛ بورنات، ريتشارد (3 أبريل 1998). "واجهات المستخدم لمساعدي البرهان العام، الجزء الأول: تفسير الإيماءات" (ملف PDF) . مؤرشف (ملف PDF) من الأصل في 15 أغسطس 2023. تم الاطلاع عليه في 11 يناير 2024 .
  6. ↑ سوفرين، برنارد؛ بورنات، ريتشارد (مارس 1998). "واجهات المستخدم لمساعدي البراهين العامة، الجزء الثاني: عرض البراهين" (ملف PDF) . مؤرشف (ملف PDF) من الأصل في 11 يناير 2024. تم الاطلاع عليه في 11 يناير 2024 .