od 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
-
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