Ce cours est destiné aux étudiants de deuxième année licence Mathématiques, Le programme de ce module couvre la logique propositionnelle ainsi que des éléments de la théorie des ensembles.
- Enseignant: Cheriet Nour el imane
Chapitre 1: Logique Propositionnelle
comporte 2 parties: (a) La partie Sémantique, (b) la partie syntaxique
- Enseignant: Adda Boualem
Les objectifs de la logique sont de
–Traiter formellement les notions de vérité et fausseté
–Formaliser et justifier le raisonnement logique intuitif, la déduction logique
–Permettre le raisonnement (humain ou automatique) dans des cas non intuitifs,
complexes
L’élément de base de la logique des propositions est la ... proposition.
- Enseignant: Benallou Mohamed