Computer Arithmetic (Integers)Covers binary representation, two's complement, overflow detection, and operations in MIPS for computer arithmetic with integers.
Decimal DevelopmentDelves into infinite decimal numbers, exploring convergence and divergence, and showcasing examples of rational and irrational numbers.
Logic and Proof TechniquesCovers integers, rationals, logic, proof techniques, functions, and relations using examples and truth tables.
Operations in ZCovers addition properties and operations in the set of integers Z.