formations:licences:ue:l2:ol4 [UFR Informatique]

Cette page est en lecture seule. Vous pouvez afficher le texte source, mais ne pourrez pas le modifier. Contactez votre administrateur si vous pensez qu'il s'agit d'une erreur.

====== Outils logiques (OL4) ======

===== Description =====

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 (2h30 par semaine).

===== Syllabus =====

==== Sujets centraux ===

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

===== Pré-requis =====

Aucun

Outils pour utilisateurs

Outils du site

Outils de la page