Discrete Mathematics Study Center

Home Course Notes Exercises Mock Exam About

Here are brief notes on each of the topics of the course. You can also find YouTube links to relevant screencasts from John Howat's Winter 2015 offering of the course. You can also visit the COMP 1805 (Winter 2015) at Carleton University channel for the entire series of screencasts.

This website makes use of MathJax to display mathematics. You should enable JavaScript so that you can see all of the notation properly. It may take a few moments for your browser to finish rendering each page.

• Logic
  • Introduction
  • Truth tables and logical equivalences
  • Predicate logic
  • Arguments
  • Proofs
• Sets
  • Introduction
  • Membership tables and set identities
• Functions
  • Introduction
  • Properties of functions
  • Countability
• Sequences and sums
• Algorithms
• Growth of functions
• Induction
• Relations
  • Introduction
  • Types of relations
• Graphs
  • Introduction
  • Searching, planarity, and colouring

For your convenience, all of these notes are available in a single page. Be warned that it takes awhile for this page to load. You may also wish to download the complete set of notes as a single PDF file.