Proofsmith

the_bayesist‏

درباره این بازی

اکثر برنامه‌های ریاضی از شما می‌خواهند که یک پاسخ را انتخاب کنید. Proofsmith از شما می‌خواهد که برای یک پاسخ استدلال کنید.

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

چرا متفاوت است

آزمونگر Proofsmith فقط به دنبال کلمات مناسب نمی‌گردد. هر پاسخ را پر از واژگان بدون هیچ استدلال واقعی پشت آن کنید، و متوجه می‌شود - این یک مسئله حل شده است، نه یک راه گریز. بررسی می‌کند که آیا اثبات شما منسجم است: آیا ایده‌ها به ترتیبی منطقی ظاهر می‌شوند، آیا واقعاً استدلال را مطرح کرده‌اید یا فقط به آن اشاره کرده‌اید. نوشتن پاسخ‌های نامرتب، درهم و برهم یا پر از کلمات کلیدی، دقیقاً همانطور که باید، برای شما هزینه دارد.

گیر کرده‌اید؟ "چه چیزی را از دست داده‌ام؟" برای ایده‌ای که هنوز به آن نرسیده‌اید، یک معما به شما می‌دهد - نه خود پاسخ. شما هنوز باید آن را حل کنید و با کلمات خودتان بنویسید.

شش تکنیک، هر کدام اصلی

• تناقض - فرض کنید برعکس آن را و آن را بشکنید • استقراء - یک حالت، سپس آن را به پایین خط منتقل کنید • حالت‌ها - مسئله را تقسیم کنید، هر شاخه را بپوشانید • تقارن - آن را یک بار حل کنید، بقیه را رایگان دریافت کنید • لانه کبوتری - دو چیز را بشمارید و آنها را مقایسه کنید • ناوردا - چیزی را که هرگز تغییر نمی‌کند پیدا کنید و از آن استفاده کنید

۱۰۳ مسئله دست‌ساز در چهار سطح دشواری، از یک اثبات اولیه ملایم تا مطالب واقعاً سخت - قضیه رمزی، نابرابری برنولی، مسئله سکه فروبنیوس و موارد دیگر که در سخت‌ترین سطح منتظر هستند.

ساخته شده برای صادق بودن با شما

هر اثبات کاملاً روی دستگاه شما ارزیابی می‌شود. هیچ چیزی که می‌نویسید هرگز به جایی ارسال نمی‌شود. بدون حساب، بدون ورود به سیستم، بدون تبلیغات، بدون ردیابی، بدون تجزیه و تحلیل. برای همیشه و تا زمانی که برنامه روی گوشی شما باشد، آفلاین بازی کنید.

ستاره‌ها با درجه سختی افزایش می‌یابند و اگر گیر کردید، یک راهنما همیشه با یک لمس فاصله دارد - هزینه آن یک ستاره است، بنابراین یک انتخاب واقعی است، نه یک چیز رایگان. تراشه‌های عبارتی با لمس و یک ردیف نماد به این معنی است که شما هرگز نماد ریاضی را از ابتدا تایپ نمی‌کنید.

شروع رایگان. دو قفل اختیاری یک‌باره - هر سطح سختی یا هر راهنما - برای هر کسی که می‌خواهد از این کار طاقت‌فرسا صرف‌نظر کند. برای ادامه بازی هیچ چیزی لازم نیست.

شما اینجا مسائل را حل نمی‌کنید. شما اثبات می‌سازید.