Canal-U_EZpublish 219418 fre 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. algorithmique arithmétique flottante bug calcul informatique méthode formelle nombre à virgule flottante preuve de programme vérification de logiciel LOMFRv1.0 image en mouvement LOMv1.0 author 2009-06-16 LOMv1.0 content provider 2009-06-16 LOMv1.0 LOMFRv1.0 video/x-flvhttp://www.canal-u.tv/canalu/producteurs/fuscia/dossier_programmes/science_info_lycee_conferences_de_formation_des_professeurs_du_secondaire_en_science_informatique/pourquoi_mon_ordinateur_calcule_fauxrtmpt://mediaFM01.cines.fr/3517/cerimes/fuscia/s_boldo.mp4 108251671 PT0H36M0S LOMv1.0 lecture LOMv1.0 higher education LOMv1.0 formation continue LOMv1.0 no LOMv1.0 no Droits réservés à l'éditeur et aux auteurs LOMv1.0 ispartof URI http://www.canal-u.tv/producteurs/fuscia/(onglet)/collections/(id)/217136#onglet_collection Science Info Lycée : conférences de formation des professeurs du secondaire en science informatique. LOMv1.0 discipline Universités Numériques Thématiques 2009 http://www.universites-numeriques.fr LOMv1.0 discipline CDD 22e éd. DDC 22nd ed. 005.14 Vérification essai mesure débogage CDD 22e éd. DDC 22nd ed. 518 Analyse numérique