Lectures related to Subtraction: Absolute Value and Opposite

Covers the construction of integers through equivalence relations and their properties in mathematics.

Covers the basics of proofs, defining sets, and applications between sets.

Covers functions, integers, GCD, and reasoning by recurrence, including the Euclidean algorithm and induction principle.

Covers the extension of addition and multiplication operations in rational numbers.

Explores Lagrange multipliers for finding extrema under constraints and various proof methods.

Covers the principle of mathematical induction for proving propositions true for all positive integers.

Covers the basics of group theory, including definitions, examples, and isometries.