Nouveautés
Recherche simple :
Accueil
Documents
Pédagogie
Thèses
Publications Scientifiques
Multi-formats
Pédagogie > Recherche par mots-clefs en fr
  • Nouveautés
  • Recherche avancée
  • Recherche thématique UNIT
  • Recherche thématique
  • Recherche par établissements
  • Recherche par auteurs
  • Recherche par mots-clefs
Mots-clefs > A > arithmétique
Niveau supérieur
  • 13 ressources ont été trouvées. Voici les résultats 11 à 13
  |< << Page précédente 1 2 Page suivante >> >| documents par page
Tri :   Date Editeur Auteur Titre

Calcul en précision arbitraire

/ INRIA / 16-06-2009 / Canal-U - OAI Archive
BOUGÉ Luc
Voir le résumé
Voir le résumé
Dans cet exposé Luc Bougé propose une séquence pédagogique autour du calcul avec des très grands nombres qui ne peuvent être codés avec les nombres entiers ou les nombres flottants usuels des machines. Le nombre est alors stocké dans un tableau et devient un objet numérique dont il faut soigneusement définir les opérations, et les méthodes permettant de le manipuler. C'est l'occasion de proposer un travail exemplaire de bonne programmation avec les concepts les mieux adaptés.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.
Mot(s) clés libre(s) : API, application programming interface, arithmétique flottante, calcul numérique, codage, interface, itération, objet, précision arbitraire, programmation, vecteur
 |  Accéder à la ressource

Pourquoi mon ordinateur calcule faux?

/ INRIA / 16-06-2009 / Canal-U - OAI Archive
BOLDO Sylvie
Voir le résumé
Voir le 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.
Mot(s) clés libre(s) : algorithmique, arithmétique flottante, bug, calcul informatique, méthode formelle, nombre à virgule flottante, preuve de programme, vérification de logiciel
 |  Accéder à la ressource

Arithmétique dans Z

/ Université Paris-VI, Université Lille-I, Unisciel, SMAI, SMF / 2008 / Unisciel
Bodin Arnaud, Boulakia Muriel, Seguin Nicolas
Voir le résumé
Voir le résumé
Cette série d'exercice est divisée en trois parties: Divisibilité, division euclidienne; pgcd, ppcm, algorithme d'Euclide; Nombres premiers, nombres premiers entre eux. Cette série comprend 19 exercices, des indications et des corrigés.
Mot(s) clés libre(s) : Arithmétique, Divisibilité, Division euclidienne, Division, pgcd, ppcm, Algorithme d'Euclide, Nombres premiers, Exo7
 |  Accéder à la ressource

rss |< << Page précédente 1 2 Page suivante >> >| documents par page
© 2006-2010 ORI-OAI