10 ressources en auto-formation : démonstration

FILTRES

10 résultats
page 1 sur 1
Résultats de 1 à 10
Présentation de la ressource en auto-formation Base raisonnée d'exercices de mathématiques : Langage et raisonnement 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 ...
Présentation de la ressource en auto-formation Démonstrations (Module : Logique et langage des ensembles) 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 ...
Présentation de la ressource en auto-formation Douglas Engelbart, inventeur et visionnaire 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.
Présentation de la ressource en auto-formation Du rêve à la réalité des preuves 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.
Présentation de la ressource en auto-formation La vérité et la machine 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.
Présentation de la ressource en auto-formation Mathématiques : notions de base (Filière Linguistique Préparatoire aux Études en France - FILIPÉ) 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 ...
Présentation de la ressource en auto-formation Principe d'induction (Module : Arithmétique) 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.
Présentation de la ressource en auto-formation RMJCA 2007-B2- Démonstration d'explosion 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
Présentation de la ressource en auto-formation Démonstration de taille de pierre 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ésentation de la ressource en auto-formation IPM 2005 : Logiciel EPI INFO et présentation numérique : enseignement pratique de l'épidémiologie 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 ...