S
T
L
P
I
M
U
N
Reason about modular arithmetic.
Learning Goal: Using the definitions of the div and mod operators on integers
PDF LaTeX Raw HTML
Learning Goal: Using divisibility and primality predicates
Learning Goal: Applying the definition of congruence modulo n and modular arithmetic