UE Introduction à la logique - INF402-

Programme résumé :

• Logique propositionnelle :
  • Syntaxe et sémantique
  • Algèbre de Boole : structure mathématique sous-jacente
  • Transformations de formules
  • Étude de la validité d'une proposition par une méthode algorithmique
• Vers la logique du premier ordre (LPO)
  • Étude de la validité d'un énoncé par une méthode déductive
• Sémantique de la logique du premier ordre (LPO)
  • Domaine, interprétation
  • Construction de modèle
  • Lois de manipulation des quantificateurs
  • Résolution au premier ordre

Connaissances visées:

• Validité d'un raisonnement ;
• Notions de correction et de complétude ;
• Bases théoriques de la programmation logique ;
• Liens entre : circuits et formules propositionnelles ; conséquence et preuve.

Compétences visées

• Utilisation de systèmes formels ;
• Formalisation en logique ;
• Techniques de démonstration ;
• Manipulations symboliques : règles formelles, unification,...