Programme détaillé
Ceci est le programme détaillé de la matière. En tout, nous allons voir la logique d'ordre 0 (ou la logique propositionnelle), et la logique d'ordre 1 (ou la logique des prédicats).
Aperçu des sections
Chapitre 01: Calcul Propositionnel
- Cette première partie du chapitre 01 est consacrée à la syntaxe de la logique des propositions.
Dans cette deuxième partie, nous allons étudier la sémantique de la logique propositionnelle qui est le moyen de donner un sens (une valeur de vérité) à une formule de cette logique.
Dans dernière, nous allons étudier le système qui nous permet de prouver la satisfaction, validité, compatibilité, etc. d'une formule propositionnelle sans faire recours à la table de vérité qui est une méthode très coûteuse (vu qu'elle énumère toutes les interprétations possibles d'une formule).
Chapitre 02: Calcul des prédicats
- Dans cette partie, nous allons mettre le point sur les limites de la logique propositionnelle, et nous aborderons par la suite la logique des prédicats considérée comme le formalisme le plus courant pour exprimer des propriétés en mathématique et informatique.
Cette partie est consacrée à la sémantique des prédicats.