exercice

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 e...

Date de création :

07.2012

Auteur(s) :

Escofier Jean-Pierre, Guimier Francoise, Houdebine Jean, Lebaud Marie-Pierre, Paugam Annette, Quarez Ronan, Pierre-Vincent Quéré, Viallard Michel

Présentation

Informations pratiques

Langue du document : Français
Type : exercice
Niveau : enseignement supérieur, licence, bac+1, bac+2
Contenu : collection
Droits d'auteur : pas libre de droits, gratuit
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

Implémenteur(s) technique(s) : François Dagorn
Créateur(s) de la métadonnée : Marie Peterlongo
Validateur(s) de la métadonnée : Marie Peterlongo

Édition

  • UNIVERSITE RENNES 1
  • Unisciel

Diffusion

Cette ressource vous est proposée par :UNISCIEL - accédez au site internet

Fiche technique

Identifiant de la fiche : Braise-7-LangageRaisonnement
Identifiant OAI-PMH : Braise-7-LangageRaisonnement
Schéma de la métadonnée : oai:uved:Cemagref-Marine-Protected-Areas
Entrepôt d'origine : UNISCIEL

Voir aussi

UNISCIEL (uel)
UNISCIEL (uel)
01.01.2000
Description : Ce premier chapitre d'arithmétique sur le principe d'induction est divisé en deux parties: raisonnement par récurrence, variantes.Enfin une troisième partie est consacrée à des exercices.
  • induction
  • raisonnement par récurrence
  • démonstration par récurrence
  • arithmétique
UNIT
UNIT
10.01.2020
Description : Ce cours est le deuxième d'une série de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités. Il présente un ensemble de règles de déduction sur les connecteurs logiques permettant de prouver des formules
  • langage logique
  • représentation des preuves
  • axiome
  • règle d'affaiblissement
  • connecteur
  • logique classique
  • raisonnement par l'absurde