Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
sav07_homework_3 [2007/04/02 09:37]
vkuncak
sav07_homework_3 [2007/04/15 17:07] (current)
vkuncak
Line 24: Line 24:
   \alpha(c) \sqsubseteq a\ \iff\ c \leq \gamma(a) \qquad (*)   \alpha(c) \sqsubseteq a\ \iff\ c \leq \gamma(a) \qquad (*)
 \end{equation*} \end{equation*}
-for all $c$ and $a$.+for all $c$ and $a$ (intuitively,​ the condition means that $c$ is approximated by $a$).
  
 **2.** Show that the condition $(*)$ is equivalent to the conjunction of these two conditions: **2.** Show that the condition $(*)$ is equivalent to the conjunction of these two conditions:
 
sav07_homework_3.txt · Last modified: 2007/04/15 17:07 by vkuncak
 
© EPFL 2018 - Legal notice