Outils pour utilisateurs
formations:licences:ue:l2:ol4
Différences
Ci-dessous, les différences entre deux révisions de la page.
| Les deux révisions précédentesRévision précédente | |||
| formations:licences:ue:l2:ol4 [2023/09/05 09:21] – supprimée - modification externe (Date inconnue) 127.0.0.1 | formations:licences:ue:l2:ol4 [2023/09/05 09:21] (Version actuelle) – ↷ Page déplacée de playground:cours:l2:ol4 à formations:licences:ue:l2:ol4 treinen | ||
|---|---|---|---|
| Ligne 1: | Ligne 1: | ||
| + | ====== 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' | ||
| + | - 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' | ||
| + | - Modélisation | ||
| + | |||
| + | ===== Pré-requis ===== | ||
| + | |||
| + | Aucun | ||
Outils de la page
Sauf mention contraire, le contenu de ce wiki est placé sous les termes de la licence suivante : CC Attribution-Noncommercial-Share Alike 4.0 International
