Zk 6.2.2013

Zk 6.2.2013

Příspěvekod strky » 6. 2. 2013 16:21

1. Rek. spocetnost sla dokazat prepisanim na S = { <x,y,z> | ex. s1, Ex s2 [z patri Wx,s1 v zjednoteni s Wy,s2]}, kde Wx,s1, Wx,s2 su rekurzivne spocetne a zjednoceni a ex. kvantifikator to nepokazi.
3. http://www.shannarasite.org/kb/kbse40.html
Přílohy
2012_13_VerzeE.jpg
strky
Matfyz(ák|ačka) level I
 
Příspěvky: 13
Registrován: 24. 1. 2006 15:15

Re: Zk 6.2.2013

Příspěvekod sadaf » 6. 2. 2013 16:45

Jeste doplnim, ze na 1) nesela pouzit Riecova veta. Musel se pouzit nejaky prevod, napriklad z halting problemu.
sadaf
 


Zpět na NTIN090 Základy složitosti a vyčíslitelnosti

Kdo je online

Uživatelé procházející toto fórum: Žádní registrovaní uživatelé a 2 návštevníků

cron