Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
user:ptacek:start [2010/04/20 11:32] ptacek |
user:ptacek:start [2010/05/11 15:37] (current) ptacek |
||
---|---|---|---|
Line 1: | Line 1: | ||
====== Research ====== | ====== Research ====== | ||
- | [[pokus]] | + | [[pokus2]] |
[[poznamky]] | [[poznamky]] | ||
[[MOSES]] | [[MOSES]] | ||
Line 134: | Line 134: | ||
[[Bergen]] | [[Bergen]] | ||
zmena | zmena | ||
+ | |||
+ | <latex>\forall x: W_x \subseteq B \Rightarrow (\varphi(x)\downarrow \And \varphi(x) \in B \smallsetminus W_x)</latex> | ||
+ | |||
~~NOTOC~~ | ~~NOTOC~~ |