Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
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