COMPSCI 2DM3 - Discrete Mathematics with Applications I

3 unit(s)

Functions, relations and sets; the language of predicate logic, propositional logic; proof techniques, counting principles; induction and recursion, discrete probabilities, graphs, and their application to computing.
Three lectures, one tutorial (one hour); first term
Prerequisite(s): MATH 1ZC3 or MATH 1B03
Antirequisite(s): COMP SCI 1FC3, SFWR ENG 2E03, 2F03
Cross-list(s): SFWRENG 2DM3