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.
Introduit des structures de données comme des tuples, des listes, des ensembles et des dictons dans Python, couvrant leur définition, manipulation et itération.
Introduit des structures de données Python comme des tuples, des listes, des ensembles et des dictionnaires, mettant l'accent sur les techniques de manipulation et de conversion.
