page 1 of 31
04. 12. 2025 11:56:45
03. 12. 2025 09:29:39
02. 12. 2025 17:33:57
tin teoretická informatika LRE LREC rekurzivní rekurzivně spočetný vyčíslitelný vysvětlení