Zk. 21.1.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: Zk. 21.1.2014

Zk. 21.1.2014

od Drozi » 21. 1. 2014 23:19

Zkouška probíhala klasicky, jak už tu je mnohokrát popsáno.

Nástin mojeho řešení:
1) Ricem ukázat, že neni rekurzivní; rek. spočetnost pak třeba existentítko + PRP = RSP
2) Potřebnej tvar vymlátit z SMN věty a pak použít větu o rekurzi
3) Já sem na to šel z Hamiltonovské cesty - což prý bylo dobře, ale zprasil sem převod kružnice na cestu :D Prohlášení, že to bylo na cvičení tentokrát neprošlo :-)
Přílohy
zsv.jpg

Nahoru