• Home
• Syllabus
• Grading
• Exams
• Resources
• Canvas

Software

Information on optional software that you may want to use during the course

• Zoom video conferencing
• LaTeX typesetting

Reference Sheets

Concise notes on important topics covered during the course

• Logical Equivalences (and slide version)
• Boolean Algebra Identities
• Inference Rules (and slide version)
• Number Theory Definitions
• Set Theory Definitions

Documents

Longer discussions with helpful information on course topics

• Tips for Translating between English and Logic
• Proof Tips
• Proof Techniques
• Proof Templates for the three types of induction arguments