Sans titre

Séances de cours associées (29)

Page 3 sur 3

Couvre le concept de mesure externe et les propriétés des ensembles mesurables.

Explique comment l'entropie mesure l'incertitude dans un système en fonction des résultats possibles.

Explique le Wronskian et son rôle dans la détermination de l'indépendance linéaire des solutions aux équations différentielles.

Introduit Coq, un assistant de théorème interactif basé sur l'isomorphisme de Curry-Howard.

Explore l'évolution de la fonction de distribution décrivant les particules dans l'espace de phase.

Couvre la formule d'inversion de Fourier, explorant ses concepts mathématiques et ses applications, soulignant l'importance de comprendre le signe.

Présente Coq, couvrant la définition des propositions, la démonstration des théorèmes, et l'utilisation de tactiques.

Introduit la logique, les preuves, les ensembles, les fonctions et les algorithmes en mathématiques et en informatique.

Présente le produit cartésien et l'induction pour les épreuves utilisant des entiers et des ensembles.