Auteur
Benois Rognier, Guillaume Duhamel
Durée
4 h 30
Niveau
L1
Résumé rapide
Formaliser des phrases en langage naturel à l'aide des connecteurs et quantificateurs logiques. Chaques série d'exercices fournit des prédicats et des constantes spécifiques.
Acquis d'apprentissage
- connecteurs
- quantificateurs logiques
Réutilisation
Auteur
Benois Rognier, Guillaume Duhamel
Durée
1 h30
Niveau
L1
Résumé rapide
Les phrases à formaliser sont des propositions mathématiques.
Acquis d'apprentissage
- Arithmétique
- Fonctions
- Suites
- Géométrie
Réutilisation
Auteur
Benois Rognier, Guillaume Duhamel
Durée
6 h 50
Niveau
L1
Réutilisation
