Data Abstraction: Rational Numbers

Related lectures (31)

Page 3 of 4

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

Introduces real numbers, including equations like x²=2 with no rational solutions.

Covers the concept of total order relation and properties of real numbers.

Discusses the construction and uniqueness of real numbers from rational numbers.

Explores even squares, irrationality of √2, gaps in rational numbers, and minorants in Q.

Covers the construction and properties of rational numbers, including fractions and equivalence, with proofs on commutativity.

Explores real numbers, including supremum, infimum, maximum, and minimum properties.

Covers the concepts of infimum and supremum of subsets in real numbers.

Covers the properties of real numbers, including bounds, density, and absolute value.

Explores the Spec# programming system, focusing on a verifying compiler for C# 2.0.