User Tools
best_practices
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
best_practices [2011/07/20 13:06] 131.246.161.187 [Parentheses] |
best_practices [2012/04/13 15:35] paddy [Sets and Functions] |
||
|---|---|---|---|
| Line 19: | Line 19: | ||
| ===== Modelling ===== | ===== Modelling ===== | ||
| ==== Sets and Functions ==== | ==== Sets and Functions ==== | ||
| - | Sets and (boolean) functions are equivalent. However, using both worlds in parallel, e.g. using sometimes $P x$ and sometimes $x \in P$ or even $\{x. P x\}$, you might run into issues during proofs as Isabelle has to perform certain steps in order to switch from one point of view to the other. Therefore you better choose wether to express your statements in predicate or in set notation and stick with it. | + | Sets and (boolean) functions are equivalent. However, using both worlds in parallel, e.g. using sometimes $P\; x$ and sometimes $x \in P$ or even $\{x. P\; x\}$, you might run into issues during proofs as Isabelle has to perform certain steps in order to switch from one point of view to the other. Therefore you better choose wether to express your statements in predicate or in set notation and stick with it. |
best_practices.txt ยท Last modified: 2012/04/13 15:36 by paddy
Page Tools
