Resources

Important Links

Links to external sites that are used in this course.

• GradeScope homework submission portal
• EdStem course message board
• Canvas lecture recordings (under the Panopto tab)
• Anonymous Feedback form

Reference Sheets

Concise notes on important topics covered during the course.

• Logical Equivalences
• Number Theory Definitions
• Set Theory Definitions

Readings

Optional readings with helpful information on course topics.

• Typesetting and Grading guide for assignments
• Tips for Translating between English and Logic
• Proof Techniques covered in this course
• Backwards Proofs: why they are invalid and how to fix them

Textbook

There is an optional textbook relevant to the first 6-7 weeks of the course:

• Rosen, Kenneth H. 2007. Discrete Mathematics and Its Applications