Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
gallier_logic_book [2007/03/22 20:40] vkuncak |
gallier_logic_book [2007/03/28 23:01] vkuncak |
||
---|---|---|---|
Line 2: | Line 2: | ||
- | There are many textbooks that cover propositional and first-order logic, its syntax, semantics, and proof theory. This [[http://www.cis.upenn.edu/~jean/gbooks/logic.html|Jean Gallier's book]] is available online and contains a lot of relevant material. You should not assume that you can quickly read through all of it. The most important sections are: | + | There are many textbooks that cover propositional and first-order logic, its syntax, semantics, and proof theory. |
+ | |||
+ | This [[http://www.cis.upenn.edu/~jean/gbooks/logic.html|Jean Gallier's book]] is available online and contains a lot of relevant material. You should not assume that you can quickly read through all of it. The most important sections are: | ||
* 2.1 (sets and relations) | * 2.1 (sets and relations) | ||
* 3.1, 3.2, 3.3 (propositional logic) | * 3.1, 3.2, 3.3 (propositional logic) | ||
* 5.1, 5.2, 5.3 (first-order logic) | * 5.1, 5.2, 5.3 (first-order logic) | ||
+ | * 5.4 (proof system for first-order logic) | ||
+ | * 6.5 Interpolation | ||
+ | * 8 Resolution | ||
* 10.6 (Congruence Closure) | * 10.6 (Congruence Closure) | ||
- | * 6.5 (Interpolation, but see dependencies) | ||
+ | However, please check the dependencies for chapters. | ||