Handouts -- Fall 2005

The course will follow to a large extent the course notes from Frank Pfenning on Constructive Logic(CL) and on Automated Theorem proving(ATP). Both course notes are available in pdf-format.

Supplementary material

• Wolfgang Thomas: Logic for Computer Science:The Engineering Challenge
• J. Halpern, R. Harper, N. Immerman, P. Kolaitis, M. Y. Vardi, V. Vianu: On the Unusual effectiveness of Logic in Computer Science
• NSF/CISE Workshop on The Unusual Effectiveness of Logic in Computer Science, National Science Foundation, 2001
• Michael Huth, Logic in Computer Science:tool-based modeling and reasoning about systems,Proceedings of the International Conference on Frontiers in Education 2000, Kansas City, October 2000.

Handouts

• Overview slides from lecture 1

• For some more information on SML and SML programs