Course Readings
Textbook
| [HR] |
Logic in Computer Science,
by Michael Huth and Mark Ryan.
Cambridge University Press, 2004 (2nd edition).
|
Articles and Lectures
| [KV] | P. Kolaitis and M. Vardi, Logic as The Calculus of Computer Science. NSF/CISE Workshop on The Unusual Effectiveness of Logic in Computer Science, 2001. |
| [Mc] | K. McMillan, The Role of Logic in Computer Systems Verification. NSF/CISE Workshop on The Unusual Effectiveness of Logic in Computer Science, 2001. |
| [Var] | M. Vardi, A brief history of Logic. Course notes, 2003. |
| [Tin] | C. Tinelli, Propositional Logic. 22c:145 course notes, 2005. |
| [Tin2] | C. Tinelli, The DPLL procedure. 22c:196 course notes, 2007. |
| [Via] | V. Vianu, Logic as a Query Language--from Frege to XML. NSF/CISE Workshop on The Unusual Effectiveness of Logic in Computer Science, 2001. |
Miscellaneous
-
Some Popular Proof Techniques, compiled by Berwin A Turlach.
-
Argument Clinic, by Monty Python.
Last Updated: Feb 13, 2007