Diplômes intégrant cet élément pédagogique :
Descriptif
* Comprendre un raisonnement, en particulier, être capable de déterminer si un raisonnement logique est correct ou non.
* Raisonner, c'est-à-dire, construire un raisonnement correct utilisant les outils de la logique propositionnelle et du premier ordre.
* Modéliser et formaliser un problème.
* Ecrire une preuve rigoureuse.
Compétences visées
* Preuves par récurrence.
* Logique propositionelle : syntaxe, sens des formules, algèbre de Boole, résolution, algorithme DPLL, déduction naturelle.
* Logique du premier ordre : syntaxe, sens des formules, théorème de Herbrand, Skolémisation, résolutino au premier ordre, déduction naturelle.
Bibliographie
Informatique théorique : logique et démonstration automatique , Michel Lévy, Pascal Lafourcade, Stéphane Devismes. Eclipse.
Informations complémentaires
Lieu(x) : ValenceLangue(s) : Français