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.
Couvre les bases des équations différentielles partielles, en mettant l'accent sur la modélisation du transfert de chaleur et les méthodes de solution numérique.
