Časový plán

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