Differences
This shows you the differences between two versions of the page.
| Next revision | Previous revision Last revision Both sides next revision | ||
|
sav08:exercise_06 [2008/03/20 19:12] vkuncak created |
sav08:exercise_06 [2008/03/25 14:02] piskac created |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | ====== Exercise 06 - DRAFT ====== | + | * Monotonicity of semantic consequence |
| - | + | * Sets of sentences with only finite and with only infinite models | |
| - | Build a resolution-based theorem prover that will win the [[http://www.cs.miami.edu/~tptp/CASC/|CASC competition]] of resolution-based theorem provers. | + | * Herbrand universe |
| + | * Resolution proofs | ||