Logic and Proof TechniquesCovers integers, rationals, logic, proof techniques, functions, and relations using examples and truth tables.
Computer Arithmetic (Integers)Covers binary representation, two's complement, overflow detection, and operations in MIPS for computer arithmetic with integers.