Zk 29.2.2008

Základní přednáška z teorie algoritmů a efektivní vyčíslitelnosti. Turingovy stroje. Částečně rekurzivní funkce. Rekurzivní a rekurzivně spočetné množiny. Algoritmicky nerozhodnutelné problémy. Věta o rekurzi. Kreativní množiny.
Uživatelský avatar
macbeth
Matfyz(ák|ačka) level III
Příspěvky: 201
Registrován: 11. 2. 2005 14:48
Typ studia: Informatika Mgr.
Bydliště: PPraha
Kontaktovat uživatele:

Zk 29.2.2008

Příspěvek od macbeth »

1.) Tot nie je rekurzivna
2.) A = {x: Wx != prazdna} nie je rekurzivna
3.) Uplna produktivita <=> produktivita (s tym, ze bud pouzit vetu o rekurzii alebo ak ju nepouzijeme, potom dokazat ze K' je najjednoduchsia produktivna alebo nieco, kde bude VOR pouzita...)
Nieco, co by nejavilo ziadne znamky bytia, teda by sa nijak neprejavovalo ako sucno, by nebolo niecim, ale prave nicim...
qk_

Re: Zk 29.2.2008

Příspěvek od qk_ »

Tak sem byl mezi stastnejsimi co zkousku nakonec s vypenim vsechn sil a triku udelali. Skore bylo 6:5 pro Kuceru, tak se vic snazte.
Jo a taky rikal, ze dalsi terminy az v lete.
Keleen
Matfyz(ák|ačka) level II
Příspěvky: 90
Registrován: 19. 1. 2005 22:20

Re: Zk 29.2.2008

Příspěvek od Keleen »

Jenom pridam zabavny zaver...odchazeli jsme dva jako posledni, dal nam trojku s tim, ze teda neco jsme vymysleli a konstatoval, ze kdyby se nekdo trochu zamyslel, tak 1 i 2 priklad jsou primy dusledky Riceovy vety a ze to by mu uplne stacilo:).
Uživatelský avatar
hippies
Admin(ka) level I
Příspěvky: 990
Registrován: 29. 9. 2004 12:46
Typ studia: Informatika Mgr.
Bydliště: Mladá Boleslav
Kontaktovat uživatele:

Re: Zk 29.2.2008

Příspěvek od hippies »

jj, to rikal i nam, ostatne mel velkou radost kdyz to mohl prozradit forstovi, ktery se tam buhviproc objevil :lol:
Chjo, dovede te si představit svět, kde by byla každá harmonická diferenciální forma (jistého typu) nesingulární projektivní algebraické variety racionální kombinací kohomologických tříd algebraických cyklů..
Odpovědět

Zpět na „TIN064 Vyčíslitelnost I“