Rechercher une ressource pédagogique : bugs

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.

FILTRES

6 résultats
section 1 sur 1
résultats 1 à 6
UNIT
UNIT
28.11.2008
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.
  • bug
  • paradigme de programmation
  • niveau d'abstraction
  • erreur
  • preuve de programme
  • fuscia
UNIT
UNIT
08.06.2006
L’informatisation des objets, ou l’invasion des pucerons
Description : Les systèmes embarqués envahissent tous les pans de l’industrie, depuis l’avionique jusqu’aux objets de la vie courante. Doit-on redouter cette évolution technologique ? Regardez cette conférence de Gérard Berry...
  • informatisation
  • bug application
  • preuve formelle
  • circuit
  • fuscia
UNIT
UNIT
19.02.2004
Les leçons d’un algorithme délinquant
Description : Pour le sens commun, la machine ne se trompe jamais. Si par malheur un utilisateur pointilleux découvre une erreur dans son calcul sur ordinateur, qui doit-il alors accuser ? Lui, ou la machine ?
  • bug
  • Pentium
  • implémentation d'algorithmes
  • erreur
  • preuve formelle
  • fuscia
Canal-U
Canal-U
10.06.2009
Expériences personnelles dans l’enseignement de l’informatique et du monde numérique
Description : L'informatique est partout, c'est devenu banal de le dire, mais qu'entend-on vraiment par là ? Comprend-on bien que le numérique, aujourd'hui, loin de se cantonner aux ordinateurs, est bien plus répandu dans les objets technologiques les plus divers, des téléphones aux avions ? Quelles en sont les ...
  • bug
  • révolution numérique
  • algorithme
  • programmation
  • réseaux
  • science informatique
  • enseignement de l’informatique
  • numérisation de l'information
  • sciences numériques
Canal-U
Canal-U
16.06.2009
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 ...
  • bug
  • algorithmique
  • arithmétique flottante
  • calcul informatique
  • méthode formelle
  • nombre à virgule flottante
  • preuve de programme
  • vérification de logiciel
Canal-U
Canal-U
27.10.2017
THE INFORMATICS REVOLUTION IN THE SCIENCES
Description : Séminaire spécialisé (en anglais), par Gérard Berry, titulaire de la Chaire algorithmes, machines et langages, Mathématiques et Sciences Numériques du Collège de France, médaille d'or 2014 du CNRS. In natural sciences and mathematics, informatics has long been only seen as an auxiliary tool necessary ...
  • informatics
  • algorithm
  • bugs
  • numerical simulations