Département des Mathématiques

https://www.univ-soukahras.dz/fr/dept/math

Enseignant	Amer MESBAHI
Information	Licence - Socle Commun Mathématiques et mathématiques appliquées L2 Département des Mathématiques Site web : https://www.univ-soukahras.dz/fr/module/1202 Semestre : S3 Unité : UEM312 Crédit : 3 Coefficient: 2
Contenu	Chapitre 1 : Introduction Eléments du langage mathématiques : Axiome, lemme, théorème, conjecture. Rédaction de preuves mathématiques : Principes de bases de rédaction d\\\\\\\'une preuve mathématique. Expression \\\\\\\"Sans perte de généralité\\\\\\\". Preuve constructive et preuve existentielles. Chapitre 2 : Théorie des ensembles Théorie naïve des ensembles. Définition ensembliste du produit cartésien. Ensembles des parties. Définition ensembliste des relations. Définition ensembliste des applications. Paradoxe de Russel. Autres versions du paradoxe de Russel (Paradoxe du menteur, paradoxe du bibliothécaire, paradoxe du menteur crétois). Optionnel : Théorie de Zermelo-Fraenkel. Relation d\\\\\\\'équipotence. Cardinalité des ensembles. Théorème de Cantor-Betnestein. Ensemble dénombrable, puissance du continu. Hypothèse du continu. Théorème de Paul Cohen. Axiome du choix. Théorème de Godel. Chapitre 3 : Calcul propositionnel et calcul des prédicats La proposition logique, la conjonction, la disjonction, l\\\\\\\'implication, l\\\\\\\'équivalence, la négation. Le tableau de vérité. La formule logique, la tautologie, la contradiction. Règles d\\\\\\\'inférences ou de déduction, Règle du Modus Ponens. Règle du Modus Tollens. Calcul des prédicats, Quantificateur universel et existentiel, Le quantificateur d\\\\\\\'unique existence. Quantificateurs multiple, Négation d\\\\\\\'un quantificateur, Quantificateurs et connecteurs. Remarque : Il est important d\\\\\\\'aborder l\\\\\\\'implication logique dans le contexte des définitions mathématiques classiques. Ainsi une bonne partie des étudiants pense que la relation < dans R n\\\\\\\'est pas une relation antisymétrique. Chapitre 4 : Bon ordre et preuve par récurrence Rappel preuve par récurrence. Théorème de la preuve par récurrence. Preuve par récurrence forte. Exemple de l\\\\\\\'existence d\\\\\\\'une décomposition en nombres premiers d\\\\\\\'un entier naturel. Optionnel (Preuve par récurrence de Cauchy. Preuve de l\\\\\\\'inégalité de Cauchy Scwhartz par récurrence). Ordre bien fondé. Preuve par le principe du bon ordre. Théorème du bon ordre général de Zermelo.
Evaluation	الامتحان: 60 % الأعمال الموجهة: 40 % طريقة التقييم : امتحان مُصغر: 12 نقاط مشاركة: 04 نقاط انضباط: 04 نقاط