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.
Explore les concepts fondamentaux de la théorie des graphes, les résultats d'Erds, le lemme chromatique et le théorème de Union Bound en théorie des graphes.