Base raisonnée d'exercices de mathématiques : Langage et raisonnement

BRAISE est centré sur la résolution de problèmes : il propose un choix raisonné d'exercices. Tout le contenu d'un cours sur le sujet est présent,mais il est réorganisé en lien étroit avec les exercices pour permettre une meilleure maîtrise des connaissances.                 Chaque exercice est en effet au c?ur d'un environnement de travail comportant des éléments de cours,des méthodes et techniques utilisables,des indications,des éléments de solution,des idées à retenir?                 Le classement des exercices par thème et selon leur difficulté permet de choisir un guide de travail adapté à chaque formation.                   Les thèmes abordés dans le chapitre Langage et raisonnement sont :                 Comprendre une assertion ou une proposition                 Comprendre la structure des démonstrations                  Démonstrations par l'absurde ou par contraposition                  Exemples et contre-exemples                  Démonstrations par récurrence                  Démonstrations sur les ensembles et les applications                  Démonstrations sur les propriétés des réels                  Démonstrations sur les fonctions réelles                  Démonstrations sur les suites réelles                  Démonstrations en géométrie                 Démonstrations sur la résolution d'une équation ou d'une inéquation                 Démonstrations en arithmétique                 Démonstrations en algèbre linéaire                 Propositions avec les deux types de quantificateurs

Disciplines : Logique mathématique (Logique symbolique),Fonctions et relation
Mots-clés : démonstration,raisonnement par récurrence,raisonnement par l'absurde,quantificateurs,implication,contraposée,équivalence,structure d'une démonstration,formaliser un énoncé mathématique,existence,unicité,contre-exemple
Type de document : collection
Type de ressource : exercise
Niveau : higher education,licence,bac+1,bac+2
Auteurs ou éditeurs : Escofier Jean-Pierre,Guimier Francoise,Houdebine Jean,Lebaud Marie-Pierre,Paugam Annette,Quarez Ronan,Pierre-Vincent Quéré,Viallard Michel,François Dagorn,UNIVERSITE RENNES 1,Unisciel