شاشة كتابة البرهان
شاشة كتابة البرهان هي الشاشة الرئيسية لعمل الطلاب في FullProof. في هذه الشاشة تكتبون البرهان وتسلّمونه للفحص.
في صفحة إضافة ادعاءات إلى البرهان يمكن القراءة عن الطرق التي يمكن بها كتابة البرهان نفسه.
في صور الشاشة التالية يمكن رؤية شكل شاشة كتابة البرهان في مراحل مختلفة من العمل.
قبل البدء بكتابة البرهان
المعطيات والمطلوب برهانه (برهن) تُستخرج تلقائيًا من المسألة. إذا كان هناك اختلاف بين البنود في صورة المسألة الأصلية وتقسيم البنود في الشاشة، فيجب الحل حسب الشاشة. النقر على علامة السؤال (مساعدة) في الشريط العلوي يفتح صفحة المساعدة الخاصة بهذه المسألة.
بعد طلب تلميح
التلميحات في النظام ملائمة لخطوات الحل التي كُتبت. يحاول النظام توجيهكم إلى أقصر حل يستخدم الخطوات التي كتبتموها.
بعد كتابة جزء من الحل
يمكنكم إضافة الخطوة الأخيرة بسهولة بواسطة + (إضافة إلى البرهان) الموجود بجانب المطلوب برهانه، لكن يمكنكم أيضًا كتابتها بأنفسكم.
بعد إضافة الادعاء المطلوب برهانه
لا يمكن تسليم الحل قبل إضافة الادعاء المطلوب برهانه. في بعض الخطوات يجب إكمال الادعاء قبل التسليم.
بعد إضافة تعليل وادعاءات داعمة للخطوة الأخيرة
يتيح النظام التسليم حتى بدون تعليل للخطوة الأخيرة، لكن إذا كان التعليل مطلوبًا فمن الأفضل إضافته قبل التسليم.
بعد التسليم
لدى النظام آلية متقدمة لفحص البرهان واقتراح تصحيح للحل. للتعلّم بفعالية، صحّحوا الحل حسب ملاحظات النظام حتى تحصل كل خطوة على ✓ خضراء ويُعلَّم الملخّص تحت البرهان أيضًا بـ ✓.
يمكن إيجاد شروح عامة ومفصّلة عن كتابة البراهين في النظام في الصفحات التالية (بالعبرية):