Lectures related to Lattices for Abstract Interpretation

Explains the properties of subsets of real numbers, including Supremum, Infimum, intervals, open sets, and closed sets.

Covers upper and lower bounds, Jensen's inequality, and amended bounds in mathematical analysis.

Covers simplicial and cosimplicial objects in category theory with practical examples.

Covers weak derivatives, their properties, and applications in functional analysis.

Explores subtyping, type calculus, and type bounds calculation in a system with subtyping, guiding through exercises and proofs step by step.

Covers powers, roots, calculation rules, logarithmic functions, reciprocal functions, sets, and basic notations.

Covers the Hadamard factorisation theorem for entire functions of order at most 1.