Lemma

الجزء الأيسر يظهر الشكل، المعطيات والهدف. المركز عبارة عن دفتر أستاذ مكون من عمودين يحتوي على البيانات والمبررات التي تقوم بإنشائها. من مجموعة خطوات المرشح، قم بإضافة خطوة واحدة في كل مرة؛ ولا يتم قبول الخطوة إلا عندما تكون متطلباتها مثبتة بالفعل. اشتق الهدف لإكمال الإثبات.

• انقر فوق خطوة مرشحة لمحاولة إضافتها إلى دفتر الأستاذ
• يتم قفل الخطوات حتى يتم إنشاء خطوط المتطلبات الأساسية الخاصة بها
• يتم رفض القفزات غير الصالحة، وأحيانًا مع مثال مضاد
• قم بالوصول إلى الهدف في عدد أقل من الخطوط، مع عدد أقل من التلميحات، للحصول على درجة أعلى

• يوميًا: يتم مشاركة إثبات ثابت كل يوم
• الممارسة: مشاكل عشوائية جديدة

• سطح المكتب: انقر فوق الخطوات الموجودة في المجموعة لإضافتها؛ يوجد تراجع وتلميح وجديد على شريط الأدوات
• الهاتف والجهاز اللوحي: اضغط على خطوة لإضافتها ثم اضغط على أزرار شريط الأدوات (الماوس أو اللمس فقط)

• اعمل للأمام انطلاقًا من المعطيات — ابحث عن الخطوة التي لديك بالفعل متطلباتها الأساسية في دفتر الأستاذ
• استخدم التلميحات باعتدال؛ كل واحد يضع السطر الأساسي التالي ولكنه يقلل من درجاتك النهائية

يقوم Lemma بتعليم برهان استنتاجي صارم، مما يفرض أن كل خطوة لها ما يبررها.

• المهارات: البرهان الاستنتاجي، المنطق الرسمي، الدقة الرياضية
• الأفضل لـ: المدرسة الثانوية / الكلية المتقدمة
• للآباء والمعلمين: دليل استنتاجي صارم.

بناء سجلّ من عمودين للعبارة والتبرير من مجموعة من الخطوات المرشحة هو البرهان الرياضي كما يُدرَّس في الهندسة.

تقديم الخطوات المرشحة هو السقالة الأصيلة.

عرض الخطوات يزيل الجزء الذي هو في معظمه ابتكار ويترك الجزء الذي هو في معظمه منطق: تقرير ما يلزم عمّا، وبأي ترتيب. والخطوة الصحيحة التي لم تُبرَّر بعد هي الخطأ المميز، ولا تظهر إلا في شكل العمودين.

Lemma هي لعبة منطق متصفح أصلية مجانية تعلم البرهان الاستنتاجي الصارم، وتفرض أن كل مطالبة يتم تبريرها من خلال الأسطر السابقة تمامًا كما يتطلب إثبات الهندسة الحقيقي المكون من عمودين.

تصفح جميع الألعاب →