15.2.2021 - 21.2.2021

• - Písanie validácie pravidiel MP,MT,Cut,HS,DS,NCS
• - Refaktorovanie kódu
• - Stretnutie so školiteľom

22.2.2021 - 28.2.2021

• - Integrácia pravidiel MP,MT,Cut,HS,DS,NCS do editora
• - Refaktorovanie kódu - extenzie tabla
• - Stretnutie so školiteľom

1.3.2021 - 8.3.2021

• - Písanie validácie pravidiel ESTT,ESTF,ESFF,ESFT,ECDT,ECDF
• - Písanie testov
• - Pridanie ekvivalencie do tablovača
• - Stretnutie so školiteľom

9.3.2021 - 15.3.2021

• - Prerobenie spôsobu zadávania substitúcie
• - Integrovanie pravidiel ESTT,ESTF,ESFF,ESFT,ECDT,ECDF do editora
• - Stretnutie so školiteľom

16.3.2021 - 22.3.2021

• - Validácia pravidiel gamma* a delta*
• - Písanie kapitoly návrh
• - Stretnutie so školiteľom

23.3.2021 - 29.3.2021

• - Prerábanie menu aby zobrazovali iba povolené pravidlá
• - Písanie kapitoly návrh - extenzie, referencie
• - Stretnutie so školiteľom

30.3.2021 - 5.4.2021

• - Menu pre konfiguráciu pravidiel, oprava chýb
• - Písanie kapitoly návrh - substitúcie, validácia pravidiel
• - Stretnutie so školiteľom

6.4.2021 - 12.4.2021

• - Písanie kapitoly o implementácii - extenzie, Leibnizovo pravidlo
• - Stretnutie so školiteľom

13.4.2021 - 20.4.2021

• - Písanie kapitoly o implementácii - zvyšok pravidiel
• - Stretnutie so školiteľom

21.4.2021 - 28.4.2021

• - Písanie záveru
• - Písanie o skupinách povolených pravidiel
• - Stretnutie so školiteľom