Date d'impression :
07.09.15
Page: http://test.sup-numerique.gouv.fr/pid31942/moteur-de-ressources.html
MOTEUR DE RESSOURCES
Consultez la rubrique :
Moteur de ressources
Fermer
Niv. 1
Niv. 2
Accueil du moteur de ressources
Ressources en auto-formation par mot-clé
D
démonstration
10
ressources en auto-formation :
démonstration
Rechercher
Tous les mots
Un des mots
L'expression exacte
FILTRES
1
1
Retour
Imprimer
Flux RSS
Date
Date
Titre
Auteur(s)
Affichage 10
Affichage 10
Affichage 20
Affichage 50
Affichage 100
10
résultats
page 1
sur 1
Résultats de
1 à 10
exercice
07/2012
Base raisonnée d'exercices de mathématiques : Langage et raisonnement
Auteur(s)
:
Escofier Jean-Pierre, Guimier Francoise, Houdebine Jean, Lebaud Marie-Pierre, Paugam Annette, Quarez Ronan, Quéré Pierre-Vincent, Viallard Michel
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 ...
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
cours / présentation, exercice, questionnaire
2000
Démonstrations (Module : Logique et langage des ensembles)
Auteur(s)
:
Cousquer Eliane, Sacré Carlos
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 ...
ensembles
logique des ensembles
démonstration
implication
disjonction
conjonction
cours / présentation, démonstration
20/12/2013
Douglas Engelbart, inventeur et visionnaire
Auteur(s)
:
Roussel Nicolas, Aceituno Jonathan
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.
technologies
démonstration
souris
histoire de l’informatique
fuscia
cours / présentation, démonstration
08/06/2012
Du rêve à la réalité des preuves
Auteur(s)
:
Delahaye Jean-Paul
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.
assistant de preuve
preuve formelle
preuve de programme
logique mathématique
démonstration
complexité
fuscia
cours / présentation, démonstration
30/09/2009
La vérité et la machine
Auteur(s)
:
Werner Benjamin
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.
preuve de programme
preuve formelle
logique mathématique
démonstration
Coq
théorème des quatre couleurs
fuscia
cours / présentation, exercice, glossaire, autoévaluation
07/01/2006
Mathématiques : notions de base (Filière Linguistique Préparatoire aux Études en France - FILIPÉ)
Auteur(s)
:
Athanaze Guy, Sturm Frédéric, Dutto Estelle, Lhopital Anne
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 ...
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
cours / présentation, exercice, questionnaire
2000
Principe d'induction (Module : Arithmétique)
Auteur(s)
:
Cousquer Eliane, Sacré Carlos
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
cours / présentation
06/08/2007
RMJCA 2007-B2- Démonstration d'explosion
Auteur(s)
:
COLIN Gérard
Description
:
Gérard COLIN vous fait une démonstration d'explosion : de la poussière, du combustible, de l'oxygène de la granulométrie, hygrométrie, confinement, réunis dans l'hexagone de l'explosion . Une poussière explose à 300 degrés. Toute poussière est explosive. SCD médecine nancy 1
Reims
RMJCA
explosif
combustible
démonstration d'explosion
poussière de bois
cours / présentation
Démonstration de taille de pierre
Description
:
Une démonstration de taille de pierre par Javier Baena Preysler, Professeur de préhistoire et d'archéologie à l'Université autonome de Madrid.
préhistoire
démonstration
archéologie expérimentale
homme préhistorique
outil préhistorique
Muséum national d'histoire naturelle
Archéologie
cours / présentation
IPM 2005 : Logiciel EPI INFO et présentation numérique : enseignement pratique de l'épidémiologie
Auteur(s)
:
BOUSSOUF Nadir
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 ...
logiciel
Internet
base de données
IPM 2005
enquête
démonstration
EPI INFO
1