- Overview Overview
S
Model systems Model systemsT
Translate TranslateL
Propositional and predicate logic Propositional and predicate logicP
Proof strategies and valid arguments Proof strategies and valid argumentsI
Recursion and Induction Recursion and InductionM
Modular Arithmetic Modular ArithmeticU
Use language conventions to improve arguments Use language conventions to improve argumentsN
Mathematical definitions and notation Mathematical definitions and notation
Discrete Math for CS
×
OverviewModel systemsTranslatePropositional and predicate logicProof strategies and valid argumentsRecursion and InductionModular ArithmeticUse language conventions to improve argumentsMathematical definitions and notation
Translate
Learning Goal
Translate between different representations to illustrate a concept.