Logique mathématique

Le but de ce cours est d'inculquer à l'étudiant la notion de paradigme fonctionnel afin de lui permettre la manipulation des structures de données de type récursif. Par la suite, la logique propositionnelle et la logique des prédicats sont abordées.

plus précisément :

• Connaître les principaux opérateurs,quantificateurs universels et leurs propriétés : NON, ET, OU,... ;

• Comprendre les notions d'implication et d'équivalence ;

• Modéliser un énoncé afin de tester sa validité ;

• Appliquer toutes ces notions à la démonstration mathématique ;

• Structurer proprement un raisonnement ;