Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
gallier_logic_book [2007/03/28 23:00] vkuncak |
gallier_logic_book [2008/02/18 12:53] vkuncak |
||
---|---|---|---|
Line 5: | Line 5: | ||
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: | 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) | + | * [[http://www.cis.upenn.edu/~cis510/tcl/logic1_2.pdf|2.1 (sets and relations)]], optionally [[http://www.cis.upenn.edu/~cis510/tcl/logap.pdf|Algebras Appendix]] |
- | * 3.1, 3.2, 3.3 (propositional logic) | + | * [[http://www.cis.upenn.edu/~cis510/tcl/chap3.pdf|3.1, 3.2, 3.3 (propositional logic)]] |
- | * 5.1, 5.2, 5.3 (first-order logic) | + | * [[http://www.cis.upenn.edu/~cis510/tcl/chap5.pdf|5.1, 5.2, 5.3 (first-order logic)]] |
- | * 5.4 (proof system for first-order logic) | + | * [[http://www.cis.upenn.edu/~cis510/tcl/chap5.pdf|5.4 (proof system for first-order logic)]] |
- | * | + | * [[http://www.cis.upenn.edu/~cis510/tcl/chap6.pdf|6.5 (interpolation)]] |
- | * 10.6 (Congruence Closure) | + | * [[http://www.cis.upenn.edu/~cis510/tcl/chap8.pdf|8 (resolution)]] |
- | * 6.5 Interpolation | + | * [[http://www.cis.upenn.edu/~cis510/tcl/chap10.pdf|10.6 (congruence closure algorithm)]] |
However, please check the dependencies for chapters. | However, please check the dependencies for chapters. | ||