Zk. 21.1.2014
Napsal: 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
Prohlášení, že to bylo na cvičení tentokrát neprošlo 
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
Prohlášení, že to bylo na cvičení tentokrát neprošlo