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 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.