Discrete Math for CS

Overview Overview
S
Model systems Model systems
T
Translate Translate
L
Propositional and predicate logic Propositional and predicate logic
P
Proof strategies and valid arguments Proof strategies and valid arguments
I
Recursion and Induction Recursion and Induction
M
Modular Arithmetic Modular Arithmetic
U
Use language conventions to improve arguments Use language conventions to improve arguments
N
Mathematical definitions and notation Mathematical definitions and notation

Discrete Math for CS × Overview Model systems Translate Propositional and predicate logic Proof strategies and valid arguments Recursion and Induction Modular Arithmetic Use language conventions to improve arguments Mathematical definitions and notation

Modular Arithmetic

Learning Goal

Reason about modular arithmetic.

Subtopics

Learning Goal: Using divisibility and primality predicates

PDF LaTeX Raw HTML