Vyčíslitelnost I Kučera 3. 2. 2014

Odeslat odpověď

Smajlíci
:D :) :( :o :shock: :? 8) :lol: :x :P :oops: :cry: :evil: :twisted: :roll: :wink: :!: :?: :idea: :arrow: :| :mrgreen:

BBCode je zapnutý
[img] je zapnutý
[flash] je vypnutý
[url] je zapnuté
Smajlíci jsou zapnutí

Přehled tématu
   

Rozšířit náhled Přehled tématu: Vyčíslitelnost I Kučera 3. 2. 2014

Re: Vyčíslitelnost I Kučera 3. 2. 2014

od Jookyn » 3. 2. 2014 11:30

Jinak Kucera je fakt hodnej, prijemna zkouska...

U 2) jsem mu napsal ty vety (vcetne variant s ORF a nekonecnymi mnozinami), ani jsem jeste nemel dopsany dukaz u 2b), ale kdyz videl, ze je tam myslenka, tak rikal, ze uz to dopisovat nemusim, ze to je dobre. U 1) jsem napsal definici efektivni neoddelitelnosti, zacal jsem dukaz existence neoddelitelnych mnozin, jen jsem se trochu zaseknul jak ma presne vypadat ta funkce, ale vedel jsem zhruba kostru (postavim tu fci, pustim ji na sebe a to bude divergovat). Ptal se mi jakou bych chtel znamku, ze to zatim vidi na 2, tak jsem hned vzal a sel...

Jinak moje pozorovani, ze v temer kazde pisemce je bud generovani R(S)M pomoci usekovych CRF, nebo konstrukce simple mnoziny se opet potvrdilo. A kdyz clovek tohle umi poradne (je to pomerne jednoduche) a zbytek umi alespon trochu, tak to podle me musi dat...

Vyčíslitelnost I Kučera 3. 2. 2014

od mathemage » 3. 2. 2014 10:03

1) Existence efektivně neoddělitelných množin
2a) Efektivní generování rekurzivních množin
2b) Efektivní generování rekurzivně spočetných množin

Všechny důkazy viz Strojil. Dá se naučit za 3 dny za 1.

Nahoru