Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
sav08:exercise_06 [2008/03/25 14:02] piskac created |
sav08:exercise_06 [2008/03/25 14:04] piskac |
||
---|---|---|---|
Line 1: | Line 1: | ||
- | * Monotonicity of semantic consequence | + | * Homework analysis |
- | * Sets of sentences with only finite and with only infinite models | + | |
* Herbrand universe | * Herbrand universe | ||
* Resolution proofs | * Resolution proofs |