Séances de cours associées à Science formelle

Calcul et algorithmes: premier exemple d'algorithme

Couvre en trouvant la valeur maximale dans une liste et les problèmes connexes.

Couvre les concepts de limites et de colimits dans la catégorie des espaces topologiques, en mettant l'accent sur la relation entre la colimit et les constructions limites et les adjonctions.

Équations différentielles partielles elliptiques

Couvre le problème de modèle des PDE elliptiques avec une formulation faible et des solutions classiques.

Fonctions Méromorphes & Différentiels

Explore les fonctions méromorphes, les pôles, les résidus, les ordres, les diviseurs et le théorème de Riemann-Roch.

Théorie de l'information et codage

Couvre le codage source, l'inégalité de Kraft, l'information mutuelle, la procédure Huffman et les propriétés des séquences tropicales.