Lectures related to Intersection: Set Operations

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

Covers addition properties and operations in the set of integers Z.

Explores vector spaces, focusing on properties, examples, and subspaces within a practical exercise on polynomials.

Explains how systems are composed in parallel or series.

Explores convolution operators, interpolation spaces, and function convergence in different spaces.

Covers the concept of convolution and its properties in signal processing.

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

Explains the definition and properties of integer multiplication in various scenarios.

Covers the properties of rational multiplication through fractions and simple calculations, leading to the resolution of division problems.

Introduces fundamental concepts of linear algebra, focusing on sets and operations.