Offre un aperçu de la logique propositionnelle et des prédicats, des ensembles, des fonctions, des relations, des algorithmes, des villes suisses, des tables de tri, des infections Covid, des mains de poker et des nombres premiers.
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é.
Explique la règle de somme pour compter les tâches et son application à divers scénarios tels que la programmation des noms de variables et des mots de passe d'ordinateur.
Couvre les permutations et les combinaisons avec et sans répétition, y compris des exemples avec des lettres, des fruits, des factures et des équations.
