Announcements

Announcements about the class will go here: please check frequently.

• Xin Wang has set up a QQ group for this course with ID 193507593. We will post updates there as well.

Notes

• Course Introduction
• Logic and Proofs
  • Propositional Logic
  • Propositional Equivalences
  • Predicates and Quantifiers
  • Rules of Inference
  • Proofs
• Basic Structures
  • Set Basics
  • Set Operations
  • Functions
  • Sequences and Summations
• Algorithms
  • Algorithms
  • Growth of Functions
  • Complexity of Algorithms
  • Integers and Divisibility
  • Integer Algorithms
• Induction and Recursion
  • Induction
  • Recursion
• Counting
  • Counting
  • Permutations and Combinations
  • More Permutations and Combinations
• Advanced Counting
  • Recurrence Relations
  • Generating Functions
  • Inclusion-Exclusion
• Relations
  • Relations
  • Closures
  • Equivalence Relations
  • Orderings
• Graphs
  • Graphs
  • Connectivity and Paths
  • Euler and Hamiltonian Paths
  • Planar Graphs
  • Graph Colouring
• Trees
  • Trees
  • Tree Applications
  • Tree Traversal
  • Spanning Trees
• Review topics
  • Normal Forms
  • Primes and GCD
• Coming to Vancouver and SFU

Homework

• Homework #1, due Mar 7.
• Homework #2, due Mar 14.
• Homework #3, due Mar 21.
• Homework #4, due Mar 28.
• Homework #5, due Apr 4Apr 8.
• Homework #6, due Apr 18.
• Homework #7, due May 9.
• Homework #8, due May 9.
• Homework #9, due May 16May 23.
• Homework #10, due May 23.
• Homework #11, due May 30June 6
• Homework #12, due June 13.
• Homework #13, due June 24.
• [Homework 13 will be the last.]