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.
- معلم: Cheriet Nour el imane
Chapitre 1: Logique Propositionnelle
comporte 2 parties: (a) La partie Sémantique, (b) la partie syntaxique
- معلم: 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.
- معلم: Benallou Mohamed