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

Format : Document HTML, Document Flash

Auteur : Athanaze Guy, Sturm Frédéric, Dutto Estelle, Lhopital Anne

Thème : Langues romanes Français, Mathématiques

Type de la ressource pédagogique : cours / présentation, exercice, glossaire, autoévaluation

Niveau : enseignement supérieur, licence

Public : apprenant, enseignant

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

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

Format : video/mp4

Auteur : BOUSSOUF Nadir

Thème : Médecine et santé

Type de la ressource pédagogique : cours / présentation

Niveau : enseignement supérieur

Droits : Droits réservés à l'éditeur et aux auteurs.

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

Format : video/mp4

Auteur : BURGHART M.

Thème : Médias d'information, journalisme, édition, Linguistique

Type de la ressource pédagogique : cours / présentation

Niveau : doctorat

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

Format : Document HTML

Auteur : Cousquer Eliane, Sacré Carlos

Thème : Mathématiques

Type de la ressource pédagogique : cours / présentation, exercice, questionnaire

Niveau : enseignement supérieur, licence

Public : apprenant

Droits : Voir la page Crédits: http://uel.unisciel.fr/credits.html

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

Format : Document HTML

Auteur : Cousquer Eliane, Sacré Carlos

Thème : Mathématiques

Type de la ressource pédagogique : cours / présentation, exercice, questionnaire

Niveau : enseignement supérieur, licence

Public : apprenant

Droits : Voir la page Crédits: http://uel.unisciel.fr/credits.html

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

Format : Document HTML

Auteur : Delahaye Jean-Paul

Thème : Informatique

Type de la ressource pédagogique : cours / présentation, démonstration

Niveau : enseignement supérieur

Public : apprenant

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

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

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

Thème : Mathématiques

Type de la ressource pédagogique : exercice

Niveau : enseignement supérieur, licence, bac+1, bac+2

Droits : Libre d'accès pour un usage non commercial.

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

Format : video/mp4

Auteur : PENCHEVRE Erwan

Thème : Mathématiques, Généralités - Sciences fondamentales

Type de la ressource pédagogique : cours / présentation

Niveau : doctorat

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

Format : Document HTML

Auteur : Roussel Nicolas, Aceituno Jonathan

Thème : Informatique

Type de la ressource pédagogique : cours / présentation, démonstration

Niveau : enseignement supérieur

Public : apprenant

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

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

Format : Document HTML

Auteur : Werner Benjamin

Thème : Mathématiques

Type de la ressource pédagogique : cours / présentation, démonstration

Niveau : enseignement supérieur

Public : apprenant

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

Rebondir