- Créateur de cours: 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.
- Créateur de cours: KOUIDRI KHEDIDJA
- Créateur de cours: BENYATTOU ABDELKADER
- Créateur de cours: 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
- Créateur de cours: 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.
- Créateur de cours: 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
- Créateur de cours: MOKHTARI DEJIA