- منشئ مقرر دراسي: REFICE AHMED
Chapitre 2 : 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.
- منشئ مقرر دراسي: KOUIDRI KHEDIDJA
- منشئ مقرر دراسي: BENYATTOU ABDELKADER
- منشئ مقرر دراسي: KOUIDRI KHEDIDJA
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
- منشئ مقرر دراسي: KOUIDRI KHEDIDJA
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.
- منشئ مقرر دراسي: KOUIDRI KHEDIDJA
Chapitre 1: Rappel sur l'anneau des polynômes
Chapitre 2: Réduction des endomorphismes en dimension finie
chapitre 3 : Exponentielle d'une matrice application aux systèmes différentiels linéaires
- منشئ مقرر دراسي: MOKHTARI DEJIA