Pisemka Gregor 20.10.2011

Odeslat odpověď

Smajlíci
:D :) :( :o :shock: :? 8) :lol: :x :P :oops: :cry: :evil: :twisted: :roll: :wink: :!: :?: :idea: :arrow: :| :mrgreen:

BBCode je zapnutý
[img] je zapnutý
[flash] je vypnutý
[url] je zapnuté
Smajlíci jsou zapnutí

Přehled tématu
   

Rozšířit náhled Přehled tématu: Pisemka Gregor 20.10.2011

Pisemka Gregor 20.10.2011

od mathemage » 22. 10. 2011 20:22

1) Vysvetlete, co znamena T\models \varphi, kazdy novy pojem, jenz pouzijete, vysvetlete taky.
2) Bud T teorie linearniho usporadani, jeho jazyk L(T) = <{\bf\leq}> s rovnosti. Urcete formuli \varphi takovou, ze T \cup \{\varphi\} je linearni usporadani, kde kazdy prvek ma bezprostredniho naslednika.
3) Mejme strukturu \mathcal{A} = <A, P^\mathcal{A}, R^\mathcal{A}> Urcete prave ty struktury, v nichz plati prave tyto formule:
a) P(x) \& (\forall x)R(x)
b) P(x) \& 
eg(\forall x)R(x)

Nahoru