Lemma

پنجره سمت چپ شکل، داده ها و هدف را نشان می دهد. مرکز یک دفتر دو ستونی بیانیه و توجیهی است که شما می سازید. از مجموعه مراحل نامزد، هر بار یکی را اضافه کنید. یک مرحله تنها زمانی پذیرفته می شود که پیش نیازهای آن از قبل اثبات شده باشد. برای تکمیل اثبات، هدف را استخراج کنید.

• روی یک مرحله نامزد کلیک کنید تا سعی کنید آن را به دفتر کل اضافه کنید
• مراحل قفل می شوند تا زمانی که خطوط پیش نیاز آنها ایجاد شود
• جهش های نامعتبر رد می شوند، گاهی اوقات با یک مثال متقابل
• برای امتیاز بالاتر، در خطوط کمتر، با نکات کمتر به هدف برسید

• روزانه: یک مدرک ثابت که هر روز به اشتراک گذاشته می شود
• تمرین: مشکلات تصادفی تازه

• دسکتاپ: روی مراحل موجود در استخر کلیک کنید تا آنها را اضافه کنید. Undo، Hint و New در نوار ابزار قرار دارند
• تلفن و رایانه لوحی: برای افزودن آن روی یک مرحله ضربه بزنید و روی دکمه‌های نوار ابزار (فقط ماوس یا لمس) ضربه بزنید.

• از داده‌ها به جلو کار کنید - به دنبال مرحله‌ای باشید که پیش‌نیازهای آن را قبلاً در دفتر کل دارید
• از نکات به مقدار کم استفاده کنید. هر کدام خط متعارف بعدی را قرار می دهند اما امتیاز نهایی شما را کاهش می دهند

لما اثبات قیاسی دقیقی را آموزش می‌دهد، که هر مرحله را توجیه می‌کند.

• مهارت ها: اثبات قیاسی، منطق صوری، دقت ریاضی
• بهترین برای: دبیرستان / کالج پیشرفته
• برای والدین و معلمان: اثبات قیاسی دقیق.

ساختن دفتری دوستونی از گزاره و توجیه از میان مجموعه‌ای از گام‌های پیشنهادی، اثبات ریاضی است همان‌طور که در هندسه آموزش داده می‌شود.

ارائه‌ی گام‌های پیشنهادی، داربست ابتکاری بازی است.

ارائه‌ی گام‌ها بخشی را که بیشتر ابداع است حذف می‌کند و بخشی را باقی می‌گذارد که بیشتر منطق است: تصمیم‌گیری درباره‌ی اینکه چه چیزی از چه چیزی نتیجه می‌شود، و به چه ترتیبی. گامی که درست است اما هنوز توجیه نشده خطای شاخص است، و تنها در قالب دوستونی دیده می‌شود.

Lemma یک بازی منطقی رایگان مرورگر اصلی است که اثبات قیاسی دقیقی را آموزش می‌دهد، و اعمال می‌کند که هر ادعا با خطوط قبلی درست همانطور که یک اثبات هندسه دو ستونی واقعی می‌خواهد توجیه شود.

همه بازی ها را مرور کنید →