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

Recursion and Induction

Learning Goal

Work with recursively defined data and prove their properties using inductive reasoning

Subtopics