Fórum studentů MFF UK

Diky moc za zapisky, pouzival jsem je jako jeden z hlavnich zdroju pro rozsirovani wikiskript! Sem tam chybicka, ale nic, co by cloveka prilis vykolejilo.

ahoj, prijde mi ze mas chybnou definici 1-uplnost -sprvne by mela byt ze na takovou mnozinu je libovolna rs mnozina 1-prevoditelna

Petr-H píše:... texty pro přípravu ke státní zkoušce...

Na to taky urcite dojde;) diky za to

Máte pravdu, díky mockrát za upozornění. Těchto a dalších chyb tam byla spousta. Po několika průchodech jsem snad již většinu identifikoval a opravil, některé nelogické konstrukce a chybějící části jsem přepsal příp. doplnil z jiných materiálů a vystavil novou verzi. Nevylučuje to ale, že se nenajdou některé další, takže pokud na nějakou chybu narazíte dejte prosím vědět a já ji opravím.

Kdyby někdo chtěl tyto poznámky nějak výrazněji modifikovat nebo je např. integrovat do nějakého většího celku (napadají mně např. texty pro přípravu ke státní zkoušce), vystavil jsem na svůj web také zdrojový soubor.

Ten důkaz ukazuje opačnou implikaci. Jde o to, že když pustím oba najednou, jak M tak doplněk, tak mi jeden z nich konverguje, a podle toho který to je, tak se rozhodnu o M. Na druhý se nemusím ohlížet, ten může totiž klidně divergovat. Celkem je tedy M rekurzivni.

Veta 2.9, dukaz druhe casti. Podle me tam dokazujes opacnou implikaci, coz plyne bud z toho, ze Kucera je chaotik (a zde tedy mluvil uz o Postove vete) nebo jsem to totalne nepochopil:

Zneni: Pokud M je rekurzivní mnozina, pak M a M jsou rekurzivne spocetne.
DK s mymi {komentari}: Necht M i M jsou obe rekurzivne spocetne {zaciname od vysledku???}. Necht P1 a P2 jsou dva programy takove, ze [x in M <=> P1(x) & x in M <=> P2(x)]. Spustime oba programy soucasne a cekame, ktery konverguje. {tecka. konec. a co jsem tim dostal?}

Jinak diky za to PDFko, je to asi nejsouvislejsi vec o vycislitelnosti co jsem na netu nasel. Podle me vycislitelnost jako obor vubec neexistuje a Kucera to na nas jen hraje... podle me dokonce i napsal vsechny clanky co existujou na wiki ve vsech jazycich, protoze predstava, ze tohle dela na svete vice nez jeden clovek me trochu desi...

Díky za upozornění, opravil jsem a časem vystavím novou verzi. Co se týče chyb, očekávám, že zrovna v tomto přepisu jich bude opravdu hodně, protože tato přednáška je poměrně náročná co se týče vytváření poznámek, ať už rukou nebo elektronicky (jak mi jistě dají za pravdu ti, co se o to někdy pokoušeli ). Snad se je ale podaří časem všechny odstranit.

Díky moc, zrovna na tenhle předmět se to hodí strašně.
Jinak faktycký chyby já asi jen tak neodhalim, ale je tam trochu překlep, protože věta 6.10 = větě 6.15 a věta 6.11 = větě 6.14. Ale to je spíš maličkost.

Edit: Tak přece jenom sem našel i nepříjemnější chybu... Věta o rekurzi 7.1 místo f(x) by určitě mělo být f(a).
Edit2: A věta 7.3 je vůbec podezřelá.

Vystavil jsem na svůj web přepis letošní přednášky. Jedná se o zatím nerevidovanou verzi, pokud narazíte na chyby, ať už gramatické či formální, budu rád pokud mi dáte vědět abych tyto mohl odstranit.