Dörd növ tapıntı
Yoxlama hər bir tapıntını dörd növə təsnif edir; bunlardan yalnız birincisi FET-in cədvəli qura bilmədiyini sübut edir.
Əksər yoxlama alətləri tapıntılarını nə qədər ciddi hiss etdiklərinə görə sıralayır. Bu isə onları sübut edə bildiklərinə görə sıralayır. Hesabat həmişə bu ardıcıllıqla dörd növü göstərir.
Hər növün öz sayğacı olan bir vərəqi var. Heç nə tapmayan növün vərəqi yoxdur, buna görə də boş birini görməyəcəksiniz.
Mümkün olmadığı sübut edilmişdir
Ekranda: Riyaziyyat, təxmin deyil.
Yoxlama buradakı hər tapıntıya saymaqla çatır. O, ayrılmış saatları boş vaxt intervalları ilə müqayisə edir. O, bir fəaliyyətin qanuni başlama vaxtlarını sıfıra endirir. O, eyni vaxtda keçirilməli və bir müəllimi paylaşmalı olan iki fəaliyyət tapır.
Bu tapıntılar üzərində özünüz yoxlamadan hərəkət edə bilərsiniz. Əgər hesabat bir fəaliyyətin qanuni başlama vaxtı olmadığını deyirsə, həll edici də tapa bilməz.
Bu, alətin müqaviləsidir. Yoxlama burada sübut edə bilmədiyi bir tapıntını heç vaxt bildirmir. Bir yalan həyəcan siqnalı verən alət, inanmağı dayandıracağınız bir alətdir.
Səhvlər
Ekranda: Buradakı nəsə yəqin ki, nəzərdə tutduğunuz deyil.
Bu tapıntılar həll etməyi dayandırmır. Onlar göstərir ki, qaydalarınız yəqin ki, nəzərdə tutmadığınız bir şeyi deyir.
- Bir qayda artıq mövcud olmayan bir şeyi göstərir.
- Bir qayda söndürdüyünüz bir fəaliyyəti hədəf alır.
- İki qayda tamamilə eyni şeyi deyir.
- Yumşaq bir üstünlük heç vaxt tətbiq oluna bilməz, buna görə də FET onu nəzərə almır.
Bunların heç biri cədvəli qeyri-mümkün etmir. Heç kimin başa düşmədiyi qaydalar növbəti semestrin sirrinə səbəb olur.
Bu faylı çətinləşdirən nədir
Ekranda: Bu, problem deyil. Bu, həll edicinin görməli olduğu işdir.
Burada heç nə səhv deyil. Bu növ faylınızdakı təzyiqi təsvir edir. O, demək olar ki, yeri qalmayan fəaliyyətləri adlandırır. O, həftənin sıx olan hissələrini adlandırır.
⚠ Həftəni daha da sıxlaşdırmadan əvvəl bu növü oxuyun.
Həll edilmiş fayl üçün başlıq dəyişir. Sonra Bu faylı çətinləşdirən nə idi kimi oxunur, çünki iş tamamlanmışdır.
Bu faylda nə işlədi
Ekranda: Siyahıya aldığımız və saydığımız qayda növləri, heç vaxt mühakimə etmirik.
Bu növ sakitdir və faylınız haqqında deyil, yoxlamanın özü haqqında məlumat verir. O, saydığı qayda növlərini siyahıya alır. O, həll edici rejiminizin yoxlamanın işləməsinə nə vaxt mane olduğunu deyir. O, çox böyük bir faylda yoxlamanın nə vaxt erkən dayandığını deyir.
Hesabat gözlədiyinizdən daha boş göründüyü zaman bu növü oxuyun. O, adətən səbəbini izah edir.
Çatışmayan vərəq zəmanət deyil
Yoxlama sübut edə bildiyini bildirir. Bundan hər şeyin doğru olduğu nəticəsi çıxmır.
"Mümkün olmadığı sübut edilmişdir" vərəqinin olmaması "heç nəyin mümkün olmadığı sübut edilmədi" deməkdir. Bu, "bu həll olunacaq" demək deyil.
⚠ Bu, səhifədəki ən vacib cümlədir və ekran onu asanlıqla gözdən qaçırmağa imkan verir: vərəq sadəcə yoxdur, buna görə də oxunacaq və ya kliklənəcək heç nə yoxdur. Yoxluq yaxşı nəticədir, tam deyil.
Bir cədvəl riyaziyyatda mümkün ola bilər və yenə də FET-in uzun vaxtını ala bilər. O, yerinə yetirilməzdən əvvəl qaydaların yumşaldılmasına ehtiyac duya bilər. Baxın Nəyi deyə bilməz.