Couvre la règle danalyse de cas, la résolution propositionnelle, la solidité, lexhaustivité et la résolution sur les clauses, avec des exercices pratiques inclus.
Explore la complexité de l'algorithme, la notation big-O, l'induction, la récursion et l'analyse des temps de fonctionnement, couvrant les problèmes NP et les classes de complexité.
Couvre l'algorithme Quantum Approximate Optimization (QAOA) pour résoudre les problèmes d'optimisation combinatoire à l'aide d'ordinateurs quantiques et de son application aux problèmes de satisfabilité booléenne (SAT).
Explore l'exhaustivité dans la logique propositionnelle, la résolution sur les clauses, la forme conjonctive, la résolution unitaire, les solveurs SAT et la génération de preuves.
