Explore les bases du fonctionnement laser, le bruit de tir et les caractéristiques sonores des photodétecteurs, soulignant l'importance du rapport signal-bruit dans la détection des signaux.
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.
