- Course creator: 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.
- Course creator: KOUIDRI KHEDIDJA
- Course creator: BENYATTOU ABDELKADER
- Course creator: 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
- Course creator: 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.
- Course creator: 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
- Course creator: MOKHTARI DEJIA