Domácí úkol na druhé cvičení: Formulace vlastních výroků predikátového počtu
Abschlussbedingungen
Opened: Mittwoch, 11. Dezember 2019, 00:00
Due: Mittwoch, 18. Dezember 2019, 00:00
Vypracujte a odevzdejte úlohy v přiloženém pracovním listu.
- 6. Januar 2020, 14:05