Sommaire
Base raisonnée d'exercices de mathématiques : Langage et raisonnement
Date de création :
07.2012Auteur(s) :
Escofier Jean-Pierre, Guimier Francoise, Houdebine Jean, Lebaud Marie-Pierre, Paugam Annette, Quarez Ronan, Pierre-Vincent Quéré, Viallard MichelPrésentation
Informations pratiques
Libre d'accès pour un usage non commercial.
Description de la ressource
Résumé
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
- Granularité : cours
"Domaine(s)" et indice(s) Dewey
- Logique mathématique (Logique symbolique) (511.3)
- Fonctions et relation (511.326)
Domaine(s)
- Principes généraux
- Généralités, philosophie, théorie des mathématiques
- Mathématiques inductives déductives
- Principes généraux
Informations techniques
- Implémenteur(s) technique(s) : François Dagorn
- Type d'interactivité de l'activité pédagogique : actif
Intervenants, édition et diffusion
Intervenants
Édition
- UNIVERSITE RENNES 1
- Unisciel
Diffusion
Fiche technique
- LOMv1.0
- LOMFRv1.0
- SupLOMFRv1.0
- Voir la fiche XML