Resources

Intellectual Property

Students should be aware that this course contains the intellectual property of their instructor, TA, and/or the University of Waterloo. Intellectual property includes items such as:

• Lecture content, spoken and written (and any audio/video recording thereof);
• Lecture handouts, presentations, and other materials prepared for the course (e.g., Powerpoint slides);
• Questions or solution sets from various types of assessments or tutorials (e.g., assignments, quizzes, tests, final exams, tutorials); and
• Work protected by copyright (e.g., any work authored by the instructor or TA or used by the instructor or TA with permission of the copyright owner).

Course materials, and the intellectual property contained therein, are used to enhance a student’s educational experience. However, sharing this intellectual property without the intellectual property owner’s permission is a violation of intellectual property rights. For this reason, it is necessary to ask the instructor, TA and/or the University of Waterloo for permission before copying, uploading and sharing the intellectual property of others online (e.g., to an online repository). Permission from an instructor, TA, or the University is also necessary before sharing the intellectual property of others from completed courses with students taking the same/similar courses in subsequent terms/years. In many cases, instructors might be happy to allow limited distribution of certain materials. However, doing so without expressed permission is considered a violation of intellectual property rights. Please alert the instructor if you become aware of intellectual property belonging to others (past or present) circulating, either through the student body or online. The intellectual property rights owner deserves to know (and may have already given their consent).

General resources

Books:

• Jean Rubin. Mathematical Logic: Applications and Theory, Saunders College Publishing, 1990 (for translations and practice exercises). On-reserve in the DC library, QA9.R78 1990.
• Lu Zhongwan, Mathematical Logic for Computer Science, 2nd ed., World Scientific, 1998 (for formal deduction). On-reserve electronically in the DC library.
• [H&R] M. Huth and M. Ryan, Logic in computer science: modelling and reasoning about systems, 2nd ed., Cambridge University Press, 2004 (for program verification). On-reserve in the DC library, QA76.9.L63 H88 2004.
• Stanley Burris. Logic for mathematics and computer science, Pearson, 1997 (for resolution). On-reserve in the DC library, QA9 .B86 1998.

Lecture Notes

Lecture notes are available at Schedule of Lectures

Tutorials

See the LEARN site.

Reference Sheets for Exams

Midterm Exam Reference Sheets