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