Rechercher une ressource pédagogique : algorithme de Knuth

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
24.02.2004
Description : Un ordinateur, c’est avant tout une machine. Est-il alors bien raisonnable de lui confier des démonstrations ? Voici un exemple propre à convaincre les sceptiques.
  • algorithme de Knuth
  • preuve formelle
  • Coq
  • complexité
  • fuscia