Volumes horaires
- CM 4.5
- Projet -
- TD 6.0
- Stage -
- TP -
- DS -
Crédits ECTS
Crédits ECTS 0.0
Responsable(s)
Sophie SCHULZ
Contenu(s)
- Définition des connecteurs logiques (et, ou, implication, équivalence , négation).
- Apprendre à nier une phrase quantifiée.
- Démonstration par récurrence, récurrence faible et forte, par l'absurde et par contraposition, raisonnement par analyse-synthèse.
- Ensembles (définition, intersection, union, complémentaire)
Calendrier
Le cours est programmé dans ces filières :
- Cursus ingénieur - Prépa - Semestre 1
- Cursus ingénieur - Prépa SHN - ART - Semestre 1
Informations complémentaires
Code de l'enseignement : 1CMMAT01
Langue(s) d'enseignement : 
Vous pouvez retrouver ce cours dans la liste de tous les cours.
