Ekvivalenčné triedy študentských riešení

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

Open crnkjck opened 2 years ago

crnkjck commented 2 years ago

Vytvárať ekvivalenčné triedy študentských riešení.

Dajú sa použiť na:

pochopenie, ktoré chyby sú najčastejšie,
detekciu viacznačných výrokov,
postupné budovanie pomôcok a rád, aký je význam chybných formúl a ako ich opraviť.