Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

gallier_logic_book [2007/03/28 23:01]
vkuncak
gallier_logic_book [2008/02/18 12:53] (current)
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)]] 
-  * 6.5 (interpolation) +  * [[http://​www.cis.upenn.edu/​~cis510/​tcl/​chap6.pdf|6.5 (interpolation)]] 
-  * 8 (resolution) +  * [[http://​www.cis.upenn.edu/​~cis510/​tcl/​chap8.pdf|8 (resolution)]] 
-  * 10.6 (congruence closure algorithm)+  * [[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.
  
  
 
gallier_logic_book.txt · Last modified: 2008/02/18 12:53 by vkuncak
 
© EPFL 2018 - Legal notice