Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

sav08:exercises_05 [2008/03/25 14:02]
piskac
sav08:exercises_05 [2008/03/25 14:02] (current)
piskac
Line 28: Line 28:
  
   * Semantic proof of drinker'​s paradox   * Semantic proof of drinker'​s paradox
-  * Monotonicity of semantic consequence +
-  * Sets of sentences with only finite and with only infinite models +
-  * Herbrand universe +
-  * Resolution proofs+
  
 
sav08/exercises_05.txt · Last modified: 2008/03/25 14:02 by piskac
 
© EPFL 2018 - Legal notice