BRAISE: une introduction au langage mathématique

Présentation du projet "BRAISE: une introduction au langage mathématique" porté par l'Université de Rennes 1. L'objectif est de présenter une introduction au langage mathématique et aux règles de démonstration que l'on rencontre à l'Université en s’appuyant sur des exercices élémentaires d’algèbre, d’analyse, ...

Braise: une introduction au langage mathématique est un projet porté par l’université de Rennes 1 avec pour chef de projet Marie-Pierre Lebaud.

Une des difficultés rencontrées par les étudiants à l’entrée de l’Université est l’utilisation d’un langage mathématique différent et des règles de communication nouvelles. Il est donc nécessaire d’enseigner de manière explicite cette langue nouvelle.

L’objet de ce projet est de présenter une introduction au langage mathématique et aux règles de démonstration que l’on rencontre à l’Université en s’appuyant sur des exercices élémentaires d’algèbre, d’analyse ou de probabilités proposés au début de premier cycle .

Les exercices construits, les méthodes et éléments de cours seront intégrés à la base BRAISE , logiciel proposant un apprentissage des mathématiques par la résolution de problèmes . 70 exercices avec 80 aides correspondantes (cours y compris) seront ainsi réalisés et ajoutés à la base.

http://www.beebac.com/pg/publication/read/64094/contraposee-contre-exemple-demonstration-equivalence-existence-formaliser-un-enonce-mathematique-imp