Rechercher une ressource pédagogique : Quatre

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

6 résultats
section 1 sur 1
résultats 1 à 6
UNIT
UNIT
01.09.2011
L'ordinateur au cœur de la découverte mathématique
Description : L’ordinateur joue un rôle essentiel dans le travail du mathématicien, en lui permettant de gérer la complexité de certaines preuves.
  • mathématiques pour l'informatique
  • calcul formel
  • théorème des quatre couleurs
  • mathématiques discrètes
  • coloration graphe
  • preuve par ordinateur
  • fuscia
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
UNISCIEL (unisciel)
UNISCIEL (unisciel)
01.12.2004
Le calendrier de la Poste
Description : Le travail proposé ici consiste, à partir de l'objet "calendrier de la Poste", à faire une recherche sur les informations qu'il contient, rechercher leur origine, leur signification, étudier leur implication dans notre vie quotidienne et aussi, en ...
  • calendrier grégorien
  • calendrier ecclésiastique
  • comput ecclésiastique
  • quatre-temps
  • équation du temps
  • mois
  • semaine
  • longueur des saisons
  • jour et nuit
UOH
UOH
01.01.2014
Le dictionnaire facétieux de la musique
Description : A chaque lettre correspond un mot ou une expression faisant l'objet de trois approches complémentaires: une chronique audio de 8 minutes (4 de texte et 4 de musique en alternance) dans un registre facétieux, un dessin lui aussi facétieux, et trois pages de commentaire sérieux développant les notions ...
  • Musique
  • dictionnaire
  • Analyse
  • Diminuendo
  • Echo
  • Indes galantes
  • Opus
  • Radio
  • Ukulélé
  • Vaudeville
  • Dictionnaire musical
  • Humour musical
  • Broderie
  • Castafiore
  • Fes moll
  • Guerre des étoiles
  • Heures
  • Jaleo
  • Köchel
  • Libitum (ad)
  • Mélisande
  • Nominés
  • Pédale
  • Quatre
  • Serpent,; ...
UNIT
UNIT
08.01.2007
Preuves formelles, preuves calculatoires
Description : Dans cet exposé, Benjamin Werner présente les méthodes formelles appliquées à la validation de résultats spectaculaires comme la démonstration du théorème des quatre couleurs, ou encore de la conjecture de Kepler.
  • méthode formelle
  • théorème des quatre couleurs
  • coloration de graphe
  • conjoncture de Kepler
  • Coq
  • fuscia
UVED
UVED
02.05.2013
Le calendrier de la Poste
Description :

Le travail proposé ici consiste, à partir de l'objet "calendrier de la Poste", à faire une recherche sur les informations qu'il contient, rechercher leur origine, leur signification, étudier leur implication dans notre vie quotidienne et aussi, en utilisant les différentes informations astronomiques ...
  • calendrier grégorien
  • calendrier ecclésiastique
  • comput ecclésiastique
  • quatre-temps
  • équation du temps
  • mois
  • semaine
  • longueur des saisons
  • jour et nuit
  • Mécanique céleste
  • Astronomie