Couvre les bases et les applications du calcul séquentiel en logique et théorie des preuves, y compris l'élimination des coupes et l'analyse des preuves pratiques.
Explore l'analyse de l'équilibre dominant dans la résolution du polynôme quintique, révélant des aperçus sur le comportement de la racine et l'importance des expressions symboliques.
Explore la cohérence de la mémoire dans les systèmes multiprocesseurs, en discutant de la cohérence, des modèles de cohérence et des compromis entre les contraintes de commande et les performances.
Explore la cohérence et les propriétés asymptotiques de l’estimateur de vraisemblance maximale, y compris les défis à relever pour prouver sa cohérence et construire des estimateurs de type MLE.
Couvre la sélection du maillage pour l'analyse structurelle à l'aide du logiciel Cedrus, en mettant l'accent sur la précision et l'impact des types de support sur les résultats.
