Concept

Formal science

Related lectures (5)

Calcul and algorithms: first algorithm example

Covers finding the maximum value in a list and related problems.

Covers the concepts of limits and colimits in the category of Topological Spaces, emphasizing the relationship between colimit and limit constructions and adjunctions.

Elliptic Partial Differential Equations

Covers the model problem of elliptic PDEs with weak formulation and classical solutions.

Meromorphic Functions & Differentials

Explores meromorphic functions, poles, residues, orders, divisors, and the Riemann-Roch theorem.

Information Theory and Coding

Covers source coding, Kraft's inequality, mutual information, Huffman procedure, and properties of tropical sequences.