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_lecture_2 [2007/04/01 17:25]
ghid.maatouk
sav07_lecture_2 [2007/04/03 20:31] (current)
kremena.diatchka
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