# Zkouska 24.2.2010

<{ForumPost(poster="Anonymous", timestamp=2010-02-24 10:22:06)}>
Musim rict, ze dneska bych se stydel, kdybych nevedel.  
  
Otazka: Jsou nasledujici teorie rozhodnutelne, zduvodnete:  
a) PE rozsirene o schema "existuje nekonecne prvku"  
b) Th(N)  
c)DeLO*  
  
Pro pristi generace:   
Doporucuju nepodcenit tuhle zkousku - neni to tezke - soustredte se na zapocet -> na trojku staci zhruba rozumet pojmum, umet definice a nekolik zakladnich vet. Zkouska urcite neni tezsi nez loni, spise naopak.
<{/ForumPost}>