Couvre les concepts d'algèbre abstraite en utilisant des classes de type dans Scala, y compris la définition des monoïdes, la généralisation des fonctions de réduction et les lois de classe de type.
Couvre les bases des langues formelles, y compris les alphabets, les mots et les langues, ainsi que des opérations comme la concaténation et l'inversion.
Couvre les objets fibreux, le levage des cornes, et l'adjonction entre quasi-catégories et complexes kan, ainsi que la généralisation des catégories et complexes kan.
Couvre le calcul des variations pour trouver des états fondamentaux en mécanique quantique en minimisant l'énergie, en discutant de l'équation d'Euler Lagrange et du théorème fondamental de la théorie des jeunes mesures.
Couvre les principes fondamentaux de la théorie du contrôle optimal, en se concentrant sur la définition des OCP, l'existence de solutions, les critères de performance, les contraintes physiques et le principe d'optimalité.
Se concentre sur les éléments clés d'un document de conception pédagogique, couvrant la portée, la prestation, les objectifs, le matériel, les intervenants et les grandes lignes.
