Lab for Automated Reasoning and Analysis LARA


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

Link to this comparison view

Both sides previous revision Previous revision
sav07_lecture_2 [2007/04/01 17:25]
sav07_lecture_2 [2007/04/03 20:31] (current)
Line 248: Line 248:
 What is a formal proof? What is a formal proof?
Line 308: Line 309:
 \end{equation*} \end{equation*}
-Sets and properties ​are interchangable.+Sets and predicates ​are interchangable.
 $x \in P$ turns set into predicate. $x \in P$ turns set into predicate.
sav07_lecture_2.txt · Last modified: 2007/04/03 20:31 by kremena.diatchka
© EPFL 2018 - Legal notice