1. Logique propositionnelle 
   • Langage propositionnel
   • Construction des formules
   • Calcul propositionnel
   • Formes normales
2. Logique des prédicats         
   • Langage – construction des formules
   • variables libres, variables liées, formule close
   • Prédicat, axiomes
   • Déduction naturelle
   • Théorie des modèles (complétude, consistance)
3. Structures algébriques pour l’informatique.
   • spécification algébrique des types abstraits de données

À la fin de cette UE, vous serez capable de :

• Exprimer des propriétés pour interpréter et construire une spécification formelle,
• Manipuler des formules logiques,
• Modéliser des énoncés à l’aide de formules logiques et interpréter des formules dans un modèle donné,
• Comprendre les bases d’une approche algébrique pour modéliser les données (types abstraits).

100% Contrôle Continu Intégral.

Apporter les bases nécessaires pour aborder à partir du S3 les points suivants :

- Spécification (algébrique) des types abstraits de données et le fonctionnement des nouveaux «prouveurs » automatiques (solvers) utilisés,

- ¨Preuve (manuelle) de la correction partielle d’un algorithme.