#PŘESMĚRUJ Státnice - Algoritmicky vyčíslitelné funkce, rekurzivní a rekurzivně spočetné množiny