Discrete Math for CS ×  OverviewModel systemsTranslatePropositional and predicate logicProof strategies and valid argumentsRecursion and InductionModular ArithmeticUse language conventions to improve argumentsMathematical definitions and notation

Model systems

Learning Goal

Model systems with tools from discrete mathematics and reason about implications of modelling choices. Explore applications in CS through multiple perspectives, including software, hardware, and theory.

Subtopics