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 fondamentaux de la mécanique des fluides incompressibles, se concentrant sur les lignes de chemin et les lignes de stries pour visualiser le comportement de flux de fluides.
Explore les caractéristiques de la turbulence, les méthodes de simulation et les défis de modélisation, fournissant des lignes directrices pour le choix et la validation des modèles de turbulence.
Couvre la preuve du théorème de Green, montrant comment l'intégrale d'un champ vectoriel le long de la limite d'un domaine est égale à l'intégrale de la courbe dans le domaine.
