Rational Numbers: Construction and Properties

Related lectures (31)

Page 3 of 4

Covers the rules of calculation for powers, roots, and more, focusing on positive numbers and integers.

Covers absolute value, subtraction in integers, and comparisons between integers.

Covers fundamental concepts related to integers, including properties of well-ordered sets and the principle of induction.

Explains the properties of addition and multiplication in Q with illustrative examples.

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

Covers function composition and integers, including properties and examples.

Covers worst-case complexity, algorithms, and proofs including mathematical induction and recursion.

Covers selected topics in mathematics for students interested in foundational concepts and challenges.

Showcases the use of assertions in Stainless to prove properties of fractions.

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