Zkouska 24.2.2010
Napsal: 24. 2. 2010 10:22
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.
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.