Rechercher une ressource pédagogique : démonstration

Le moteur de recherche des ressources pédagogiques donne accès à un ensemble de documents mis à disposition par l'Université Numérique, les établissements d'enseignement supérieur et Canal U. Vous y trouverez des productions universitaires dans l'ensemble des domaines de formation.

FILTRES

11 résultats
section 1 sur 2
résultats 1 à 10
UNISCIEL (unisciel)
UNISCIEL (unisciel)
01.07.2012
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 ...
  • 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
UNISCIEL (uel)
UNISCIEL (uel)
01.01.2000
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 ...
  • ensembles
  • logique des ensembles
  • démonstration
  • implication
  • disjonction
  • conjonction
UNIT
UNIT
15.11.2013
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.
  • technologies
  • démonstration
  • souris
  • histoire de l’informatique
  • fuscia
UNIT
UNIT
01.08.2011
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.
  • assistant de preuve
  • preuve formelle
  • preuve de programme
  • logique mathématique
  • démonstration
  • complexité
  • fuscia
Canal-U
Canal-U
19.04.2018
FRANÇOISE DALLOIS, ANCIENNE MÉCANICIENNE EN CONFECTION AUX ÉTABLISSEMENTS ROBINET ET ANCIENNE HABITANTE DE LA CITÉ ROSIÈRES.
Description : Dans un premier entretien, Françoise Dallois raconte son enfance et sa jeunesse dans la cité Rosières, à Lunery dans le Cher, cité organisée autour de l'usine de cuisinières et poêles en fonte. Elle détaille les divers bâtiments et l'organisation de la vie ouvrière dans la cité. Puis elle évoque ...
  • Vie quotidienne
  • démonstration
  • témoignage
  • techniques
  • Mémoire
  • activité industrielle
  • quartier ouvrier
  • industrie de l'habillement
UNISCIEL (unisciel)
UNISCIEL (unisciel)
01.01.2013
L1 : Logique et raisonnements
Description : Pour utiliser le dispositif, vous devez créer votre compte sur la plate-forme et vous inscrire gratuitement au cours. Apprendre à bien rédiger un raisonnement mathématique comporte des aspects qui s'apparentent à l'apprentissage d'une nouvelle langue. Il s'agit en quelque sorte d'apprendre une ...
  • logique
  • déduction
  • démonstration
  • quantificateurs
  • langage des ensembles
  • grands principes de raisonnements
UNISCIEL (unisciel)
UNISCIEL (unisciel)
01.01.2014
L2 : Spectroscopies infra-rouge
Description : Pour utiliser le dispositif, vous devez créer votre compte sur la plate-forme et vous inscrire gratuitement au cours. Ce cours de 5 semaines est destiné aux étudiants de L2 chimie. Il reprend les grands principes de raisonnement utilisés en spectroscopie infrarouge. Les fonctions chimiques sont ...
  • logique
  • déduction
  • démonstration
  • quantificateurs
  • langage des ensembles
  • grands principes de raisonnements
UNIT
UNIT
11.12.2008
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.
  • preuve de programme
  • preuve formelle
  • logique mathématique
  • démonstration
  • Coq
  • théorème des quatre couleurs
  • fuscia
Canal-U
Canal-U
23.01.2017
MARIE-CLAUDE SOUEIX DE PONDAU, ANCIENNE PATRONIÈRE-GRADEUSE PUIS STYLISTE MODÉLISTE CHEZ ROBINET CONFECTIONS.
Description : Marie-Claude Soueix de Pondeau est engagée en 1967 chez Robinet Confections à l'âge de 19 ans après l'obtention de son brevet technique "patronière-modéliste-gradeuse". Elle est l'une des rares employées à avoir travaillé dans cette entreprise jusqu'à la fermeture définitive en 2002. Elle occupe ...
  • conditions de travail
  • temoignage
  • Mémoire
  • activité industrielle
  • parcours professionnel
  • secteur de l'habillement
  • confection
  • démonstration technique
UNIT
UNIT
01.07.2006
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 ...
  • 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 ...