Fusionner Trier: Tri AlgorithmeExplique l'algorithme de tri de fusion, son exactitude et sa complexité temporelle par rapport à d'autres algorithmes de tri.
Exactitude des compilateurs: Partie 1Explore l'exactitude du compilateur, des exemples de compilateurs vérifiés, la vérification formelle et les défis des compilateurs de certification.
Polymorphisme et preuvesCouvre le polymorphisme paramétrique, énumère la construction, les tuples, les méthodes génériques, le tri de fusion et les propriétés du programme.
