Explore la logique prédictive, en mettant l'accent sur les quantificateurs et les formes normales, soulignant l'importance de trouver des témoins et des contre-exemples.
Explore la résolution du champ de déplacement par des forces ponctuelles à l'aide des fonctions et du processus d'intégration de Green pour obtenir une solution totale.
