Rechercher une ressource pédagogique : indécidabilité algorithmique

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

2 résultats
section 1 sur 1
résultats 1 à 2
UNIT
UNIT
05.02.2009
Description : Pour programmer un ordinateur, le plus important ce sont les méthodes mises en œuvre. Découvrez les ingrédients à combiner pour créer ces algorithmes !
  • algorithme
  • programme
  • séquence d'instructions
  • boucle
  • condition
  • variable
  • fonction
  • langage de programmation
  • erreur
  • preuve de programme
  • indécidabilité algorithmique
  • syntaxe d'un programme
  • sémantique d'un programme
  • fuscia
UNIT
UNIT
28.11.2006
Description : Le problème P = NP est le problème fondamental du calcul mathématique. À partir de quel moment un énoncé difficile à démontrer et jugé très probable doit-il être adopté comme nouvel axiome ?
  • complexité
  • problème NP-complet
  • indécidabilité algorithmique
  • hypothèse de Riemann
  • axiome
  • fuscia