Module « Logique »

Volume horaire

  • 20 heures de cours magistral.
  • 20 heures de travaux dirigés.

Description du module

  • Calcul propositionnel : syntaxe, sémantique, déduction, formes normales, complétude
  • Calcul des prédicats : syntaxe, sémantique, déduction, résolution, complétude