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...)
Zk 29.2.2008
- 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
Nieco, co by nejavilo ziadne znamky bytia, teda by sa nijak neprejavovalo ako sucno, by nebolo niecim, ale prave nicim...
Re: Zk 29.2.2008
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.
Jo a taky rikal, ze dalsi terminy az v lete.
Re: Zk 29.2.2008
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:).
- hippies
- Admin(ka) level I
- Příspěvky: 990
- Registrován: 29. 9. 2004 12:46
- Typ studia: Informatika Mgr.
- Login do SIS: procj4am
- Bydliště: Mladá Boleslav
- Kontaktovat uživatele:
Re: Zk 29.2.2008
jj, to rikal i nam, ostatne mel velkou radost kdyz to mohl prozradit forstovi, ktery se tam buhviproc objevil
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ů..