5 résultats : BOLDO SYLVIE

Recherche en cours

Par auteur = BOLDO SYLVIE

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.

5 résultats

page 1 sur 1

résultats 1 à 5

Pourquoi mon ordinateur calcule faux?

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 ...

Mots clés : bug, algorithmique, arithmétique flottante, calcul informatique, méthode formelle, nombre à virgule flottante, preuve de programme, vérification de logiciel

Date : 16-06-2009

Droits : Droits réservés à l'éditeur et aux auteurs.

Pourquoi mon ordinateur calcule faux?

Ajouter à mon panier

Accéder aux documents

Les nombres et l'ordinateur

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 ...

Mots clés : calcul informatique, preuve de programme, analyse numérique, arithmétique virgule flottante, erreur de calcul, méthodes formelles

Date : 05-06-2013

Droits : Droits réservés à l'éditeur et aux auteurs.

Les nombres et l'ordinateur

Ajouter à mon panier

Accéder aux documents

Demandez le programme

Description : La programmation consiste à décomposer un algorithme en ordres simples et à les écrire en un langage compréhensible par l’ordinateur.

Mots clés : bug, paradigme de programmation, niveau d'abstraction, erreur, preuve de programme, fuscia

Date : 28-11-2008

Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode

Demandez le programme

Ajouter à mon panier

Accéder au document

Pourquoi mon ordinateur calcule-t-il faux ?

Description : Réaliser des calculs complexes est devenu chose facile avec nos ordinateurs, mais doit-on aveuglément faire confiance aux résultats obtenus par nos machines ? Sylvie Boldo nous apporte quelques éléments de réponse.

Mots clés : podcast, virgule flottante, double précision, calcul numérique, erreur, norme IEEE 754, fuscia

Date : 26-03-2008

Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode

Pourquoi mon ordinateur calcule-t-il faux ?

Ajouter à mon panier

Accéder au document

Un algorithme de découpe de gâteau

Description : Dans Astérix et Cléopâtre, Obélix doit couper un gâteau en trois parts pour Astérix, Panoramix et lui. Équipé seulement d’un couteau, il coupe des parts très inégales... Mais comment couper en trois parts égales ?

Mots clés : algorithme, écriture binaire, calcul, fuscia

Date : 27-05-2010

Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode

Un algorithme de découpe de gâteau

Ajouter à mon panier

Accéder au document

Rebondir