Vyčíslitelnost II

Uživatelský avatar
Davpe
Matfyz(ák|ačka) level II
Příspěvky: 98
Registrován: 22. 9. 2010 16:07
Typ studia: Informatika Bc.
Kontaktovat uživatele:

Re: Vyčíslitelnost II

Příspěvek od Davpe »

1) Limitní vyčíslitelnost
2) výběr
a) konstrukce 1-generické
b) low basis theorem

U první otázky, první implikace - jak se tam definuje funkce f přes funkcionál Fí. Ptal se (všech), co bychom museli udělat kdyby nebyla totálni (nebo něco podobného). Což jsem nevěděl plus jsem nevěděl u druhé implikace jak to zakončit a známka 1-. Ještě zmínil, že zkouška je lehká (a taky u každého papíru který si bral k prozkoumání prohlásil "no tohle je lehké, tohle taky" :D)
snow

Re: Vyčíslitelnost II

Příspěvek od snow »

1) limitní vyčíslitelnost
2) buď a) konstrukce 1-generické
nebo b) věta o nízké bázi
anw

Re: Vyčíslitelnost II

Příspěvek od anw »

otazky jsou porad stejne

1) vlastnosti skoku
2a) konstrukce 1-genericke mnoziny
2b si nepamatuju
Jurášek

Re: Vyčíslitelnost II

Příspěvek od Jurášek »

Dnes klasika
1) Věta o aritmetické hierarchii
2) Výběr:
a) Konstrukce 1-generické
b) v nekon. stromě je nekonečná větev (doplňte si na správné místa přívlastky o rekurzivitě, ty jsem zapoměl)
Odpovědět

Zpět na „I1 Ostatní Teoretická informatika“