Date d'impression :
07.09.15
Page: http://test.sup-numerique.gouv.fr/pid31942/moteur-de-ressources.html
MOTEUR DE RESSOURCES
Consultez la rubrique :
Moteur de ressources
Fermer
Niv. 1
Niv. 2
Accueil du moteur de ressources
Ressources en auto-formation par mot-clé
B
bug
6
ressources en auto-formation :
bug
Rechercher
Tous les mots
Un des mots
L'expression exacte
FILTRES
1
1
Retour
Imprimer
Flux RSS
Date
Date
Titre
Auteur(s)
Affichage 10
Affichage 10
Affichage 20
Affichage 50
Affichage 100
6
résultats
page 1
sur 1
Résultats de
1 à 6
cours / présentation, démonstration
17/02/2009
Demandez le programme
Auteur(s)
:
Boldo Sylvie
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
cours / présentation, démonstration
17/01/2007
L’informatisation des objets, ou l’invasion des pucerons
Auteur(s)
:
Berry Gérard
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
cours / présentation, démonstration
20/02/2004
Les leçons d’un algorithme délinquant
Auteur(s)
:
Muller Jean-Michel
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
cours / présentation
Expériences personnelles dans l’enseignement de l’informatique et du monde numérique
Auteur(s)
:
BERRY Gérard
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
cours / présentation
Pourquoi mon ordinateur calcule faux?
Auteur(s)
:
BOLDO Sylvie
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
cours / présentation
THE INFORMATICS REVOLUTION IN THE SCIENCES
Auteur(s)
:
BERRY Gérard
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
1