Mathieu Mansuy - Module langage mathématique
Description du module : Ce module est une option facultative des licences de Mathématiques, Mathématiques et Informatique, MASS, Informatique, Physique et Chimie, STEP, SV lors du premier semestre de L1. Les prérequis sont les enseignements du Lycée section Scientifique. L'objectif est de comprendre et manier le langage des mathématiques à partir d'exemples.
Le cours est assuré par André Bellaiche et René Cori. J'ai effectué les TD pour le groupe de Mathématique et Informatique durant l'année universitaire 2011 - 2012.
Feuilles de travaux dirigés
- TD0 - Premiers exercices
- TD1 - Généralités sur le langage mathématique
- TD2 - Connecteurs logiques
- TD3 - Quantificateurs
- TD4 - Ensembles, relations, fonctions
- TD5 - Raisonnements mathématiques
Interrogations écrites et devoirs facultatifs
Examens