Rechercher une ressource pédagogique : calcul 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
Canal-U
Canal-U
16.06.2009
Description : Dans cet exposé Sylvie Boldo nous fait prendre conscience de l'importance des bugs en informatique et des conséquences historiques qu'ils ont pu engendrer. Elle se concentre ensuite sur les problèmes liés aux calculs numériques et montre de manière détaillée et constructive comment prendre la mesure ...
  • bug
  • algorithmique
  • arithmétique flottante
  • calcul informatique
  • méthode formelle
  • nombre à virgule flottante
  • preuve de programme
  • vérification de logiciel