Menu
Naviguer par :
Menu
Accueil
Nos ressources
Recherche avancée
Par thème
Par compétence
Par auteur
Toutes les ressources
Vous êtes ici :
Accueil
Par mots-clef
D
démonstration
Déposer une
ressource
11
résultats :
démonstration
Rechercher
Aide
Recherche avancée
Recherche en cours
Par mots-clef
=
démonstration
Affiner ma recherche
OK
1
2
1
2
Imprimer
Flux RSS
Titre
Titre
Date
Auteur
Afficher 10
Afficher 5
Afficher 10
Afficher 15
Afficher 20
Afficher 25
Afficher 30
Afficher 35
Afficher 40
Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
11
résultats
page 1
sur 2
résultats
1 à 10
Mathématiques : notions de base (Filière Linguistique Préparatoire aux Études en France - FILIPÉ)
Description
:
Module du programme e-learning FILIPE qui vise à favoriser la préparation linguistique, interculturelle et scientifique des étudiants non francophones poursuivant leurs études en France. Ce module a pour but de vous entraîner à la compréhension orale des cours de mathématiques en français. Il vous ...
Mots clés
:
FILIPE, FLE, français scientifique, sciences de l'ingénieur, module multimédia, surjection, bijection, injection, relation, fonction mathématique, application, démonstration par récurrence, polynôme de Bernoulli, filière linguistique préparatoire aux études en france, francais langue étrangère
Date
:
01-07-2006
Droits
:
Ces ressources sont la propriété conjointe de l'INPG et d' UNIT. Leur utilisation est libre dans les limites fixées par la licence CeCILL http://www.cecill.info/licences/Licence_CeCILL_V2-fr.html
En savoir plus
Description complète
Mathématiques : notions de base (Filière Linguistique Préparatoire aux Études en France - FILIPÉ)
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Ajouter à mon panier
Accéder au document
IPM 2005 : Logiciel EPI INFO et présentation numérique : enseignement pratique de l'épidémiologie
Description
:
Expérience du module d'épidémiologie 2004-05 (faculté de médecine de Batna, Algérie). L'objectif est d'initier le futur médecin à être interventionniste. Origine IPM 2005. Internet et Pédagogie Médicale, 6è Congrès international. Rennes : décembre 2005 ...
Mots clés
:
logiciel, Internet, base de données, IPM 2005, enquête, démonstration, EPI INFO
Date
:
02-12-2005
Droits
:
Droits réservés à l'éditeur et aux auteurs.
En savoir plus
Description complète
IPM 2005 : Logiciel EPI INFO et présentation numérique : enseignement pratique de l'épidémiologie
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Ajouter à mon panier
Accéder aux documents
Les liens entre le ThEMA et le Thesaurus sermonum de Jacques de Voragine
Description
:
Le Groupe d'Anthropologie Historique de l'Occident Médiéval (GAHOM) a été fondé par Jacques Le GOFF en 1978 au sein du Centre de Recherches Historiques (UMR EHESS/CNRS n° 8558) dont il constitue l'un des groupes de recherche et de formation à la recherche. Il est dirigé depuis 1992 par Jean-Claude ...
Mots clés
:
Technologies de l'Information et de la Communication, support numérique, Philologie textuelle, Edition des textes, language html, indexation en ligne, démonstration du ThEMA, pratiques d'indexation, corpus de sources
Date
:
19-11-2004
Droits
:
Droits réservés à l'éditeur et aux auteurs. Tous droits réservés.
En savoir plus
Description complète
Les liens entre le ThEMA et le Thesaurus sermonum de Jacques de Voragine
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Ajouter à mon panier
Accéder aux documents
Démonstrations (Module : Logique et langage des ensembles)
Description
:
Dans une démonstration, on a des objets donnés dans l'énoncé, des hypothèses c'est-à-dire de propriétés de ces objets qui sont supposées vraies, et il s'agit de démontrer un but, qui est une propriété que l'on doit établir et qui concerne ces mêmes objets, à l'aide ...
Mots clés
:
ensembles, logique des ensembles, démonstration, implication, disjonction, conjonction
Date
:
2000
Droits
:
Voir la page Crédits: http://uel.unisciel.fr/credits.html
En savoir plus
Description complète
Démonstrations (Module : Logique et langage des ensembles)
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Ajouter à mon panier
Accéder au document
Principe d'induction (Module : Arithmétique)
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.
Mots clés
:
induction, raisonnement par récurrence, démonstration par récurrence, arithmétique
Date
:
2000
Droits
:
Voir la page Crédits: http://uel.unisciel.fr/credits.html
En savoir plus
Description complète
Principe d'induction (Module : Arithmétique)
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Ajouter à mon panier
Accéder au document
Du rêve à la réalité des preuves
Description
:
Les ordinateurs ne savent pas prouver seuls des théorèmes profonds. Cependant, grâce aux assistants de preuve, ils garantissent les démonstrations découvertes par les mathématiciens.
Mots clés
:
assistant de preuve, preuve formelle, preuve de programme, logique mathématique, démonstration, complexité, fuscia
Date
:
01-08-2011
Droits
:
Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode
En savoir plus
Description complète
Du rêve à la réalité des preuves
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Ajouter à mon panier
Accéder au document
Base raisonnée d'exercices de mathématiques : Langage et raisonnement
Description
:
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 ...
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
Date
:
07-2012
Droits
:
Libre d'accès pour un usage non commercial.
En savoir plus
Description complète
Base raisonnée d'exercices de mathématiques : Langage et raisonnement
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Ajouter à mon panier
Accéder au document
Le théorème de Bézout dans la Geometria Organica de MacLaurin
Description
:
Le séminaire "Histoires de Géométries", mis en place à la FMSH par l'équipe F2DS dirigée par Dominique FLAMENT, se veut largement ouvert. Non seulement il est un lieu de rencontre d'excellence entre mathématiciens, philosophes et historiens des sciences, mais il s'ouvre également à un public de ...
Mots clés
:
géométrie, histoire des mathématiques, Histoire des sciences et des techniques, Mac Coy, démonstration algébrique/géométrique, points
Date
:
07-06-2004
Droits
:
Droits réservés à l'éditeur et aux auteurs. Tous droits réservés.
En savoir plus
Description complète
Le théorème de Bézout dans la Geometria Organica de MacLaurin
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Ajouter à mon panier
Accéder aux documents
Douglas Engelbart, inventeur et visionnaire
Description
:
Douglas Engelbart est à l’origine de nombreuses innovations technologiques qui ont grandement influencé l’informatique personnelle. Retour sur ces inventions et la vision qui les avait motivées.
Mots clés
:
technologies, démonstration, souris, histoire de l’informatique, fuscia
Date
:
15-11-2013
Droits
:
Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode
En savoir plus
Description complète
Douglas Engelbart, inventeur et visionnaire
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Ajouter à mon panier
Accéder au document
La vérité et la machine
Description
:
Peut-on être sûr de la vérité d’une preuve ? Cette preuve de la preuve, comment l’obtenir en pratique ? La vérification formelle de démonstration est de plus en plus utilisée par les mathématiciens.
Mots clés
:
preuve de programme, preuve formelle, logique mathématique, démonstration, Coq, théorème des quatre couleurs, fuscia
Date
:
11-12-2008
Droits
:
Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode
En savoir plus
Description complète
La vérité et la machine
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Ajouter à mon panier
Accéder au document
1
2
Rebondir