UE Introduction à la logique

Diplômes intégrant cet élément pédagogique :

Descriptif

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

Compétences visées

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,...

Informations complémentaires

Lieu(x) : Grenoble - Domaine universitaire, Valence - Briffaut
Langue(s) : Français