LOMv1.0 creator BEGIN:VCARD VERSION:3.0 N:Peterlongo;Marie FN:Marie Peterlongo ORG:Unisciel END:VCARD 2012-07-23 LOMv1.0 validator BEGIN:VCARD VERSION:3.0 N:Peterlongo;Marie FN:Marie Peterlongo ORG:Unisciel END:VCARD 2012-07-23 LOMv1.0 LOMFRv1.0 SupLOMFRv1.0 Unisciel-Braise Braise-7-LangageRaisonnement Base raisonnée d'exercices de mathématiques : Langage et raisonnement fre 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 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 LOMv1.0 3 LOMFRv1.0 collection LOMv1.0 author BEGIN:VCARD VERSION:3.0 N:Escofier;Jean-Pierre;;; FN:Escofier Jean-Pierre ORG:UNIVERSITE RENNES 1;IREM; URL:http://www.univ-rennes1.fr END:VCARD 2012-07 LOMv1.0 author BEGIN:VCARD VERSION:3.0 N:Guimier;Francoise;;; FN:Guimier Francoise ORG:UNIVERSITE RENNES 1;IREM; URL:http://www.univ-rennes1.fr END:VCARD 2012-07 LOMv1.0 author BEGIN:VCARD VERSION:3.0 N:Houdebine;Jean;;; FN:Houdebine Jean ORG:UNIVERSITE RENNES 1;IREM; URL:http://www.univ-rennes1.fr END:VCARD 2012-07 LOMv1.0 author BEGIN:VCARD VERSION:3.0 N:Lebaud;Marie-Pierre;;; FN:Lebaud Marie-Pierre ORG:UNIVERSITE RENNES 1;IREM; URL:http://www.univ-rennes1.fr END:VCARD 2012-07 LOMv1.0 author BEGIN:VCARD VERSION:3.0 N:Paugam;Annette;;; FN:Paugam Annette ORG:UNIVERSITE RENNES 1;IREM; URL:http://www.univ-rennes1.fr END:VCARD 2012-07 LOMv1.0 author BEGIN:VCARD VERSION:3.0 N:Quarez;Ronan;;; FN:Quarez Ronan ORG:UNIVERSITE RENNES 1;IREM; URL:http://www.univ-rennes1.fr END:VCARD 2012-07 LOMv1.0 author BEGIN:VCARD VERSION:3.0 N:Quéré;Pierre-Vincent;;; FN:Pierre-Vincent Quéré ORG:Ecole nationale supérieure de chimie de Rennes;; END:VCARD 2012-07 LOMv1.0 author BEGIN:VCARD VERSION:3.0 N:Viallard;Michel;;; FN:Viallard Michel ORG:UNIVERSITE RENNES 1;IREM; URL:http://www.univ-rennes1.fr END:VCARD 2012-07 LOMv1.0 technical implementer BEGIN:VCARD VERSION:3.0 N:Dagorn;François;;; FN:François Dagorn ORG:UNIVERSITE RENNES 1; URL:http://www.univ-rennes1.fr END:VCARD 2012-07 LOMv1.0 publisher BEGIN:VCARD VERSION:3.0 N:UNIVERSITE RENNES 1 ;U RENNES 1 FN:UNIVERSITE RENNES 1 ADR:RENNES TEL: URL: EMAIL;TYPE=internet: ORG:UNIVERSITE RENNES 1 UID:0350936C EMAIL;TYPE=INTERNET: END:VCARD 2012-07 LOMv1.0 publisher BEGIN:VCARD VERSION:3.0 N: ;;;; FN: Unisciel ORG: Unisciel ;; END:VCARD 2012-07 http://braise.univ-rennes1.fr/braise.cgi?listechap=Langage%20et%20raisonnement LOMv1.0 active LOMv1.0 exercise LOMv1.0 higher education LOMFRv1.0 licence SupLOMFRv1.0 bac+1 SupLOMFRv1.0 bac+2 LOMv1.0 no LOMv1.0 yes Libre d'accès pour un usage non commercial. LOMv1.0 discipline JaPeSe v2.0 5 Mathématiques 5:1 Algèbre 5:1:1 Logique, ensemble, raisonnement 5:1:1:1 Logique élémentaire JaPeSe v2.0 5 Mathématiques 5:1 Algèbre 5:1:1 Logique, ensemble, raisonnement 5:1:1:3 Absurde et contraposée JaPeSe v2.0 5 Mathématiques 5:1 Algèbre 5:1:1 Logique, ensemble, raisonnement 5:1:1:4 Récurrence JaPeSe v2.0 5 Mathématiques 5:1 Algèbre 5:1:1 Logique, ensemble, raisonnement 5:1:1:5 Relation binaire 5:1:1:5:1 Relation d'équivalence LOMv1.0 discipline CDD 22e éd. DDC 22nd ed 511.3 Logique mathématique (Logique symbolique) Mathematical logic (Symbolic logic) CDD 22e éd. DDC 22nd ed 511.326 Fonctions et relation Functions and relations LOMv1.0 security level Projet OCW France Catalogue OCWC