Ressource en auto-formation : Pourquoi mon ordinateur calcule faux?

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...
cours / présentation - Création : 16-06-2009
Par : Sylvie BOLDO
Partagez !

Présentation de: Pourquoi mon ordinateur calcule faux?

Informations pratiques sur cette ressource

Langue du document : Français
Type : cours / présentation
Niveau : formation continue
Durée d'exécution : 36 minutes
Contenu : vidéo
Document : video/mp4
Poids : 103.24 Mo
Droits d'auteur : libre de droits, gratuit
Droits réservés à l'éditeur et aux auteurs.

Description de la ressource en auto-formation

Résumé

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 des approximations numériques qui s'effectuent lors d'un calcul numérique au sein d'un logiciel. Elle nous offre à la fois des garde-fous pratiques et une compréhension théorique de la problématique. Cet exposé s'est inscrit dans le cadre d'une formation INRIA proposée en juin 2009 et s'adressait aux professeurs des établissements de l'académie de Versailles proposant l'option Informatique et Objets Numériques à leurs classes de seconde pour l'année scolaire 2009-2010.

"Domaine(s)" et indice(s) Dewey

  • Analyse numérique (518)
  • Vérification, essai, mesure, débogage (005.14)

Domaine(s)

Intervenants, édition et diffusion

Intervenants

Fournisseur(s) de contenus : INRIA (Institut national de recherche en informatique et automatique)

Diffusion

Document(s) annexe(s) - Pourquoi mon ordinateur calcule faux?

Partagez !

AUTEUR(S)

  • Sylvie BOLDO

DIFFUSION

Cette ressource en auto-formation vous est proposée par :
Canal-U - accédez au site internet
Sur les réseaux sociaux :

EN SAVOIR PLUS

  • Identifiant de la fiche
    6629
  • Identifiant OAI-PMH
    oai:canal-u.fr:6629
  • Schéma de la métadonnée
  • Entrepôt d'origine
    Canal-U

Ressources en auto-formation sur les mêmes thèmes

Présentation de la ressource en auto-formation Les nombres et l'ordinateur cours / présentation
Les nombres et l'ordinateur
Auteur(s) : BOLDO Sylvie
Description : Nous confions à nos ordinateurs de nombreux calculs (météo, simulations aéronautiques, jeux vidéos, feuilles Excel...) et nous considérons naturellement que l'ordinateur fournira une réponse juste. Malheureusement, la machine a ses limites que l'esprit humain n'a pas. Elle utilise une ar ...
Présentation de la ressource en auto-formation Comment faire confiance à un compilateur ? (série : Colloquium Jacques Morgenstern) cours / présentation
11/12/2009
Comment faire confiance à un compilateur ? (série : Colloquium Jacques Morgenstern)
Auteur(s) : Leroy Xavier
Description : Les outils de vérification formelle de programmes (analyseurs statiques, prouveurs de programmes, model-checkers) ont fait des progrès remarquables ces dernières années et commencent à percer dans le monde du logiciel critique. Cependant, ces outils ne vérifient "que" des programmes source: des ...