Outils logiques (OL3)

Ce cours introduit la logique propositionnelle. Il s'agit d'une logique simple qui permet de raisonner avec des propositions qui peuvent être vraies ou fausses. Les propositions peuvent être combinées avec des opérateurs logiques (et, ou, etc.). La logique propositionnelle est à la base des logiques étudiées en L3 dans le cours Logique.

Il s'agit d'un Cours/TD (2h par semaine).

1. Introduction
   • L'utilité de la logique en Informatique (langages de programmation, bases de données, etc.)
2. Syntaxe
   • Définition des formules logiques
3. Sémantique
   • Définition du sens donné aux formules, affectation des variables, évaluation
   • Table de vérité
   • Validité, satisfaisabilité
4. Les lois de la logique propositionnelle
   • Notions de conséquence et équivalence logique
   • Complétude fonctionnelle des opérateurs
5. Les formes normales
   • Forme normale disjonctive
   • Forme normale conjonctive
6. Algorithmes de satisfaisabilité
   • L'algorithme de Davis-Putnam-Logemann-Loveland
7. Modélisation

Aucun