D. De la logique avant toute chose

• Cours :
  • Logique : syntaxe et sémantique
• TP :
  • Syntaxe solution (à ne pas ouvrir en TP mais chez soi !)
  • Sémantique solution (à ne pas ouvrir en TP mais chez soi !)
• Fichiers :
  • formules logiques en OCaml - fichier de départ TP1
  • formules logiques en OCaml - fichier de départ TP2
  • Départ pour SAT force brute
  • Départ pour SAT Quine
  • Algorithme de Quine