Ce cours destiné au étudiants première année Ingénieur a pour but d'apprendre à l'étudiant à raisonner, à formaliser un énoncé dans un langage logique dans le but d'étudier sa satis-faisabilité ou non. L'étudiant doit à la fin savoir faire la distinction entre syntaxe et sémantique et savoir faire la déduction en maitrisant quelques systèmes de démonstration.
- Enseignant: FERHANE SAMIA