od Kuba » 15. 2. 2008 10:40
1) Rice-ova věta + důkaz
2) B = {x: Wx = {} } {} - prázdná množina, dokázat, že není rekurzivní nebo že není rekurzivně spočetná (Hint: použít K' (K doplněk))
3) (A,B) efektivně neoddělitelná dvojice disjunktních, rekurzivně spočetných množin => A je kreativní
Měl jsem 1,3 a "pocit" z 2, mam za 2 (pry mi trochu pridal)
1) Rice-ova věta + důkaz
2) B = {x: Wx = {} } {} - prázdná množina, dokázat, že není rekurzivní nebo že není rekurzivně spočetná (Hint: použít K' (K doplněk))
3) (A,B) efektivně neoddělitelná dvojice disjunktních, rekurzivně spočetných množin => A je kreativní
Měl jsem 1,3 a "pocit" z 2, mam za 2 (pry mi trochu pridal)