Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
sav07_resource [2008/02/18 15:13] vkuncak |
sav07_resource [2008/04/06 13:20] (current) vkuncak |
||
---|---|---|---|
Line 2: | Line 2: | ||
==== Related lecture notes and books ==== | ==== Related lecture notes and books ==== | ||
+ | * [[http://www.andrew.cmu.edu/user/avigad/practical/resources.html|Resources for a CMU Course]] | ||
* [[http://www.stanford.edu/class/cs242/|CS242]] from Stanford by John Mitchell | * [[http://www.stanford.edu/class/cs242/|CS242]] from Stanford by John Mitchell | ||
* [[http://swt.informatik.uni-freiburg.de/teaching/decproc0708/|Decision procedures]] lectures by Jochen Hoenicke and Andreas Podelski | * [[http://swt.informatik.uni-freiburg.de/teaching/decproc0708/|Decision procedures]] lectures by Jochen Hoenicke and Andreas Podelski | ||
Line 127: | Line 128: | ||
* M. Huth and M. Ryan. Logic in Computer Science: Modelling and Reasoning about Systems. Cambridge University Press, 2000. (suggested for more information on Chapter 1 (Propositional Logic) and 2 (Predicate Logic)) | * M. Huth and M. Ryan. Logic in Computer Science: Modelling and Reasoning about Systems. Cambridge University Press, 2000. (suggested for more information on Chapter 1 (Propositional Logic) and 2 (Predicate Logic)) | ||
* [[Gallier Logic Book]] | * [[Gallier Logic Book]] | ||
+ | * [[http://www.cis.upenn.edu/~jean/gbooks/discmath.html|Gallier Discrete Math Book]] Draft | ||
* Ralph-Johan J. Back, J. Von Wright: [[http://portal.acm.org/citation.cfm?coll=GUIDE&dl=GUIDE&id=551462#|Refinement Calculus: A Systematic Introduction]] | * Ralph-Johan J. Back, J. Von Wright: [[http://portal.acm.org/citation.cfm?coll=GUIDE&dl=GUIDE&id=551462#|Refinement Calculus: A Systematic Introduction]] | ||