30.10. zrefaktorovanie kódu
18.11. zostavenie časového plánu
12.12. implementácia rovnosti
15.1. napísanie východiskovej kapitoly
3.3. hotové výrokovologické pravidlá, začiatok písania ďaľších kapitol
30.3. otestovanie výrokovologických pravidiel
15.4. hotové kvantifikátorové pravidlá
16.4. testovanie kvantifikátorových pravidiel
1.5. implementácia výberu povolených pravidiel
14.5. odovzdanie práce