System Composition

Related lectures (29)

Page 2 of 3

Covers the properties of rational numbers and introduces the concept of an ordered field in Q.

Introduces matrix algebra operations and their properties, including commutativity and distributivity.

Explores the group structure and isomorphism of elliptic curves, including inverses, associativity, and compactification to the torus.

Covers the concept of natural numbers, including properties like commutativity and associativity.

Covers the properties of vectors, including commutativity, distributivity, and linearity.

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

Explains the union of sets, its properties, operations, and intersection.

Explores the concept of a commutative semi-ring based on set theory properties.

Introduces the definition and examples of A-modules, including sub-modules and ideals.

Introduces set intersection, its properties, and its relation to arithmetic operations.