Rechercher une ressource pédagogique : mathématiques pour l'informatique

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.
1 résultat
section 1 sur 1
résultats 1 à 1
UNIT
UNIT
01.09.2011
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