Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
sav08:calculus_of_computation_textbook [2008/03/05 10:41] vkuncak |
sav08:calculus_of_computation_textbook [2009/02/17 22:46] (current) vkuncak |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== Textbook: The Calculus of Computation ====== | ====== Textbook: The Calculus of Computation ====== | ||
| - | Among the textbooks, this one is closest to the material that we will cover (although we will also cover additional topics, and there will be lecture notes). | + | Textbook covering propositional and first-order logic, selected decision procedures, and deductive approach to verification. |
| [[http://www.springer.com/computer/foundations/book/978-3-540-74112-1|Web site at Springer]] | [[http://www.springer.com/computer/foundations/book/978-3-540-74112-1|Web site at Springer]] | ||