COMP 426 Automated Reasoning
Handouts

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

Incremental handouts will be available in postscript format. If you prefer pdf, you can print the indicated pages directly from the 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.

Date	Handout (PostScript)	Note

Sep 08	Ch 1 + 2 (ATP)	pages 1 - 20 (ATP)
Sep 08	Ch 2 (CL)	pages 5 - 19 (CL)
Sep 22	Ch 3 (CL)	pages 27 - 35 (CL)
Sep 22	Ch 2 (ATP)	pages 20 - 24 (CL)

[ Home | Schedule | Assignments | Handouts | Software | Overview ]

bp@cs.mcgill.ca
Brigitte Pientka