Lectures related to Application Reciproque and Composition of Applications

Covers organizational aspects, introduces Kahut for quizzes, presents complex examples, and summarizes the main topics.

Covers the basics of tuples, lists, sets, linear types, conversions, dictionaries, and defaultdicts.

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

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

Explores solutions of differential equations and properties of functions.

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

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

Covers the basic properties of limits and provides illustrative examples.

Covers the basic concepts of functions, including definitions, notations, and discussions on injectivity and surjectivity.