Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

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