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, ValenceLangue(s) : Français