search

FMFI-UK-1-AIN-412 / formalization-checker-backend

The back end of a tool for checking formalization exercises.
GNU General Public License v3.0
0 stars 5 forks source link

Zobrazovat pocet uspesne formalizovanych tvrdeni #14

Open crnkjck opened 2 years ago

crnkjck commented 2 years ago

V prehlade postupu studenta pre jednotlive cvicenia by sa v kolonke „Solved“ mal zobrazovat pocet uspesne sformalizovanych vyrokov. V skutocnosti sa ale zobrazuje celkovy pocet uspesnych overeni formalizacii vratane opakovanych formalizacii toho isteho vyroku.

Pocet uspesne sformalizovanych vyrokov by bolo idealne zobrazit v tvare: 7/9, teda pocet uspesne sformalizovanych vyrokov/celkovy pocet vyrokov v cviceni.

Kolonka „Attempts“ by sa mohla premenovat na „Successful attempts“ a tiez zobrazovat pocet uspesnych pokusov/celkovy pocet pokusov.

crnkjck commented 2 years ago

Na druhé rozmyslenie by možno dávala zmysel takáto informácia:

Nazov cvicenia
--------------

> 9 propositions

        |    Propositions    |       Attempts      |                                     |
Student | Solved | Attempted | Successful |  Total |              Last attempt           |
--------+--------+-----------+------------+--------+-------------------------------------+
octocat |      4 |         7 |          4 |     14 | Today 10:23, prop. 6, attempt 3 ✓   |

Kliknutím na 9 propositions by sa mohli výroky zobraziť (najľahšie v ol pomocou elementov details+summary, to netreba nijak programovo obsluhovať). Posledný pokus by mal byť link priamo na detaily pokusu.

Neskôr by sme zoznam výrokov nahradili ich štatistikou s linkami na stránku s ekvivalenčnými triedami a detailmi pokusov.

crnkjck commented 2 years ago

Tabuľka bola implementovaná, ale hodnoty v nej nedávajú zmysel – akoby sa týkali len prvého výroku z cvičenia. Najnovší pokus tiež nie je správny, neukazuje, o ktorý výrok ide, ani nelinkuje na pokus na stránke s detailami.

Toto zobrazenie by dávalo zmysel integrovať do učiteľského zobrazenia cvičenia, asi nejak podobne ako je organizovaný interface Google Forms.

V detailoch by sa zišlo spojiť viaceré rovnaké za sebou nasledujúce formuly (študenti z nejakého dôvodu odosielali to isté riešenie opakovane – možno preto, že pri načítaní cvičenia sa zobrazí formula, ale nie výsledok jej vyhodnotenia).