IB107 úkol 2, příklad 2 Odevzdání: 8. 11. 2022 23:59
Jméno: Ferdo Mravec 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.
2. [3 body] Pro každé j ∈ N definujeme množinu Aj ⊆ N následujícím způsobem:
Aj =
l ∈ range(ϕj)
range(ϕl)
(a) Dokažte, že existují indexy j, k ∈ N takové, že Aj je rekurzivní a Ak není rekurzivní.
(b) Rozhodněte a dokažte, zda jsou všechny množiny Aj rekurzivně spočetná.
Oblast strojově snímaných informací, nezasahujte. Zde jsou losi.