Zkouška 28. 6. 2017 (Gregor)
Napsal: 30. 6. 2017 16:03
Na ústní jsem měl korektnost rezoluce v predikátové logice.
Pro všechny studenty informatiky, fyziky, matematiky a učitelství na Matfyzu provozuje a spravuje Spolek Matfyzák
https://forum.matfyzak.cz/