Logic and Proof TechniquesCovers integers, rationals, logic, proof techniques, functions, and relations using examples and truth tables.
Integers and RingsCovers integers, rings, subrings, invertibility, divisors of zero, and equivalence relations in formal fractions.
Data Abstraction: Rational NumbersCovers data abstraction in rational numbers, including client's view, self-reference, preconditions, assertions, constructors, and end markers.
Relations, Sequences and SummationsCovers strings, countable sets, cardinality, and the concept of countability, exploring the countability of various sets and Cantor diagonalization.
