Izracunljivost - gradivo za kolokvij

[anjcho]

Kaj smo napravili sve iz skripte?

_________________
(\__/)
(=’.’=)
(")_(")
This is ZEC. Copy and paste ZEC into your signature to help him gain world domination.

[pinkgirl]

mene zanima jel itko bio na zadnjem predavanju i sto je profesor rekao za teoriju s obzirom na onaj popis def i tm s weba?

[Gino]

ja imam nekih nejasnoca s teorijom, trenutno me najvise muci ovo:

kako se u teoremu o aritmetickom prebrajanju (tm 1.75, str 81-82 iz skripte) zakljuci da je , dakle, treba pokazat da je

iz

jasno mi je da je rekurzivno, i onda sam mislio da se samo napravi kontrakcija zadnja dva kvantifikatora i to je to (i valjda zaista jest )
ali onda ne znam dokaz za neparne , dakle kako pokazati da je

iz

mozda ne vidim nest ocito... ne znam

_________________
Mario Berljafa

[Gino]

i jos jedno pitanje, kako se vidi u teoremu o selektoru (tm 1.84, str. 86) da je

_________________
Mario Berljafa