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