Lectures related to Functions: Definitions and Notations

Explores mapping functions, surjections, injective and surjective functions, and bijective functions.

Covers the definition of applications, image of elements, and direct and reciprocal images.

Introduces Cartesian product and induction for proofs using integers and sets.

Covers the basics of sets and operations in mathematics, from set properties to advanced operations.

Explores the properties of relations in computer science, including equivalence relations and the partition of a set.

Introduces sets in discrete mathematics and explores proof techniques like direct and indirect proofs.

Explores real functions, their graphs, properties, and transformations, including symmetry and surjection.

Explores the composition of applications in mathematics and the importance of understanding their properties.

Explores operations on sets, Cartesian products, and functions' properties.

Covers the basics of functions, including domain, codomain, image, and range, as well as injections, surjections, and bijections.

Covers examples of relation composition, Cartesian product, and injective functions.

Introduces sets, functions, and proofs in mathematics, covering set equality, subsets, Cartesian products, and truth sets of predicates.

Introduces sets and functions, covering union, intersection, complement, functions terminology, and set operations analogies.

Explains the relationship between two functions through restriction and prolongation, emphasizing the importance of defining a function by its graph.

Explores bijections in linear algebra and the concept of cardinality between sets.

Covers linear algebra concepts with a focus on functions and their properties.

Explores recursively defined sets, natural numbers, strings, functions, string concatenation, and well-formed formulae.

Introduces sets, functions, Cartesian products, and compositions, discussing images, preimages, and function properties.

Covers the graphical definition of functions, focusing on level sets and domains.

Covers the analysis of functions, composition, and mathematical induction.