IB107 úkol 1, příklad 2 Odevzdání: 20. 10. 2023 23:59
Jméno: Ferda Mravenec 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] Uvažme funkci g: N2 → N definovanou následovně:
g(i, j) =



j je-li definováno alespoň j z hodnot ϕ0(0), ϕ1(1), . . . , ϕi(i)
0 jinak
a) (2.5 bodu) Rozhodněte a dokažte, zda je funkce g vyčíslitelná.
b) (0.5 bodu) Rozhodněte a dokažte, zda existuje totálně vyčíslitelná funkce h: N → N taková, že
pro všechna i, j ∈ N platí
ϕh(i)(j) = g(i, j).
Oblast strojově snímaných informací, nezasahujte. Zde jsou losi.