Semestre 5 – Logique

Objectifs – acquis d’apprentissage

Prouver une formule de la logique des propositions et des prédicats du premier ordre.

Prérequis

Algèbre de Boole à deux éléments. Notions élémentaires sur les ensembles.

Contenu pédagogique

Donner des bases concernant la logique classique, à travers les logiques propositionnelle et du premier ordre.

Logique propositionnelle : syntaxe, sémantique, système formel, aspects algorithmiques, représentation des connaissances en logique propositionnelle.

Logique du premier ordre : syntaxe, sémantique, système formel, aspects algorithmiques, représentation des connaissances en logique du premier ordre.