Semestre 5 – Logique

Objectifs

Le cours de Logique a pour objectif la maîtrise des aspects syntaxique, sémantique et informatique de la Logique propositionnelle, avec une première introduction au Calcul des prédicats.

Prérequis

Aucun.

Contenu pédagogique de l’UE

  • Rappel sur les Algèbres de Boole
  • Les Systèmes Formels et axiomatico-déductifs.
  • Le Calcul Propositionnel: syntaxe, sémantique, systèmes hilbertien et déduction naturelle, Théorèmes de consistance et complétude. Formes Normales.
  • Introduction au Calcul des Prédicats
  • Les aspects informatiques: Méthodes de Résolution