Contenu de la matière

1. Chapitre 1 : Théorie des ensembles (rappels)( 04h30) 
   1. Fonctions,
   2. Relations,
   3. Ensemble et parties d'un ensemble
   4. Ensembles dénombrables
2. Chapitre 2 : Le calcul propositionnel (15h30)
   1. Introduction
   2. Proposition et paradoxe
   3. Syntaxe du langage propositionnel
   4. Etude sémantique du langage propositionnel
   5. Propriétés des connecteurs logiques
   6. Formes normales
   7. Théorie de la démonstration en calcul des propositions

3. Chapitre 3 : Le calcul des prédicats du premier ordre (40h)
   1. Introduction aux langages du premier ordre
   2. Etude sémantique du langage des prédicats du premier ordre
   3. Théorie de la démonstration