Domácí úkol na druhé cvičení: Formulace vlastních výroků predikátového počtu
Požadavky na absolvování
Otevřené: středa, 11. prosince 2019, 00.00
Termín: středa, 18. prosince 2019, 00.00
Vypracujte a odevzdejte úlohy v přiloženém pracovním listu.
- 6. ledna 2020, 14.05