Uzavřené prostředí testových úloh na predikátový počet
Completion requirements
Pro potřeby tohoto předmětu bylo vytvořeno prostředí, ve kterém mají studenti za úkol rozhodnout o pravdivosti výroků predikátového počtu. Seznamte se s prostředím a řešte cvičné úkoly.
Click Úlohy pro predikátový počet-do Moodle.pdf link to view the file.