Computer Arithmetic (Integers)Covers binary representation, two's complement, overflow detection, and operations in MIPS for computer arithmetic with integers.
Functions and IntegersCovers functions, integers, GCD, and reasoning by recurrence, including the Euclidean algorithm and induction principle.