11 résultats : démonstration

Recherche en cours

Par mots-clef = démonstration

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

Mathématiques : notions de base (Filière Linguistique Préparatoire aux Études en France - FILIPÉ)

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.

IPM 2005 : Logiciel EPI INFO et présentation numérique : enseignement pratique de l'épidémiologie

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

Les liens entre le ThEMA et le Thesaurus sermonum de Jacques de Voragine

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

Démonstrations (Module : Logique et langage des ensembles)

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

Principe d'induction (Module : Arithmétique)

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

Du rêve à la réalité des preuves

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.

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

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

Le théorème de Bézout dans la Geometria Organica de MacLaurin

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

Douglas Engelbart, inventeur et visionnaire

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

La vérité et la machine

Ajouter à mon panier

Accéder au document

Rebondir