IB107 úkol 2, příklad 1 Odevzdání: 10. 11. 2023 23:59
Jméno: Chrobák Truhlík UČO: 1234567
list učo body
Oblast strojově snímaných informací. Své učo a číslo listu vyplňte
zleva dle vzoru číslic. Jinak do této oblasti nezasahujte.
1. [3 body] Uvažme množinu F ⊆ N definovanou vztahem
F = {i | existuje k > 1 takové, že pro všechna x ∈ N platí ϕi(k · x) = k}.
(a) Rozhodněte a dokažte, zda je množina F rekurzivně spočetná.
(b) Rozhodněte a dokažte, zda je množina F rekurzivně spočetná.
Oblast strojově snímaných informací, nezasahujte. Zde jsou losi.