Explore les équations différentielles ordinaires, les méthodes de preuve et les exemples historiques d'Euclid, en mettant l'accent sur le raisonnement logique et les dérivations étape par étape.
Explore la forme normale disjonctive et la forme normale conjonctive dans la logique propositionnelle, en montrant comment les construire et en discutant de leur complexité.
