Explore les concepts avancés de physique comme les oscillations, les forces et les gyroscopes, en se concentrant sur les corps rotatifs, la précession et la conservation de l'élan angulaire.
Explore le problème de satisfabilité booléenne et l'algorithme Davis-Putnam-Logemann-Loveland, ainsi que les résolveurs SAT modernes et les techniques de résolution efficaces.