# Zk 6.2.2013

<{ForumPost(poster="strky", timestamp=2013-02-06 16:21:51)}>
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](http://www.shannarasite.org/kb/kbse40.html)

*Attachments:*

- *[2012_13_VerzeE.jpg](/Forum%20archiv/Attachments/334_c6666be30c22051ce8f65b1f51e704b8)*

<{/ForumPost}>

<{ForumPost(poster="sadaf", timestamp=2013-02-06 16:45:02)}>
Jeste doplnim, ze na 1) nesela pouzit Riecova veta. Musel se pouzit nejaky prevod, napriklad z halting problemu.
<{/ForumPost}>