Covers integers, rationals, logic, proof techniques, functions, and relations using examples and truth tables.
Covers functions, integers, GCD, and reasoning by recurrence, including the Euclidean algorithm and induction principle.
Covers operations and equivalence relations in number theory, including addition, subtraction, multiplication, division, and properties of neutral and inverse elements.
Covers binary representation, two's complement, overflow detection, and operations in MIPS for computer arithmetic with integers.
Covers the basics of group theory, including definitions, examples, and isometries.
