Contenus évalués

·        L'évaluation portera sur l'ensemble des notions étudiées au cours des cinq premières semaines :

·        logique propositionnelle ;

·        logique des prédicats ;

·        méthodes de démonstration ;

·        théorie des ensembles ;

·        relations ;

·        fonctions ;

·        techniques de dénombrement ;

·        combinatoire ;

·        relations de récurrence ;

·        notions fondamentales sur les graphes.

Objectifs

·        Vérifier l'acquisition des connaissances fondamentales nécessaires à la poursuite du cours et apprécier la capacité de l'étudiant à appliquer les méthodes étudiées dans des situations variées.