Séance 1 — Langage et raisonnement

IMSV · Introduction Mathématique aux Sciences de la Vie

Thème. Logique (propositions, connecteurs, tables de vérité, implication), ensembles, quantificateurs, ….

Théorie associée : IMSV-1, « Pourquoi les mathématiques ? – Langage et raisonnement ».

Télécharger (PDF · hors-ligne)

Énoncés seuls (PDF) Énoncés + coups de pouce & corrections (PDF) Corrections hors-ligne — 1 fichier (à garder)

Objectifs de la séance

Trois objectifs, repris du cours théorique (IMSV-1). Chaque exercice indique l’objectif qu’il travaille — la pastille O1 / O2 / O3 dans son en-tête.

• O1 — traduire une affirmation simple entre langage courant et langage formel.
• O2 — utiliser les éléments de base de la logique (ensembles, quantificateurs, connecteurs) pour démontrer ou réfuter une affirmation mathématique.
• O3 — lire une affirmation mathématique simple et distinguer exemple, preuve et contre-exemple.

Une grille d’auto-évaluation sur ces trois objectifs t’attend à la page Institutionnalisation.

Le parcours de la séance

1. Socle — les exercices routiniers, à ton rythme.
2. Transfert — des problèmes en contexte nouveau.
3. Exercices supplémentaires — pour les rapides (facultatif).
4. Institutionnalisation — la méthode qu’on dégage ensemble, et l’auto-évaluation.

Les slides du cours

Les slides de théorie associée sont sur Moodle.