[NTIN073] - Rekurze I
Napsal: 4. 2. 2015 13:49
04.02.2015:
1) Věta o nízké bázi
2) Výběr z:
(a) Pod 1-generickou nejsou nerekurzivní množiny
(b) 1-generická neobsahuje nekonečnou rekurzivně spočetnou podmnožinu
U 2a jsem se trochu zamotal ale bez problémů mi to uznal s tím že myšlenka je správně ale za detaily neručí. Celkově ty papíry četl docela bleskově.
1) Věta o nízké bázi
2) Výběr z:
(a) Pod 1-generickou nejsou nerekurzivní množiny
(b) 1-generická neobsahuje nekonečnou rekurzivně spočetnou podmnožinu
U 2a jsem se trochu zamotal ale bez problémů mi to uznal s tím že myšlenka je správně ale za detaily neručí. Celkově ty papíry četl docela bleskově.