Différences

Ci-dessous, les différences entre deux révisions de la page.

--- formations:licences:licence_enseignements_descriptifs [2022/11/28 15:30] – les descriptifs des cours du L3 sont remplacés par les nouveaux syllabi treinen
+++ formations:licences:licence_enseignements_descriptifs [2023/03/10 15:57] (Version actuelle) – [Outils Logiques (OL4)] mitsou
@@ Ligne 86: / Ligne 86: @@
 ===== Outils Logiques (OL4) =====
+=== Objectifs ===
+Ce cours est une introduction à la logique et notamment au calcul propositionnel, à certaines techniques de déduction automatique (résolution, DPLL) et à la modélisation des problèmes en logique propositionnelle.
-Ce cours est une introduction à la logique et notamment au calcul propositionnel et à certaines techniques de déduction automatique : résolution, méthode de Davis-Putnam et diagrammes de décision binaire.
+=== Résumé ===
+Syntaxe, sémantique et lois du calcul propositionnel, formes normales (FNN, FND, FNC), résolution et algorithme DPLL, modélisation en calcul propositionnel (coloration, couplage).
 ===== Mathématiques 4 (MI4) =====