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é
C
calcul informatique
3
ressources en auto-formation :
calcul informatique
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
3
résultats
page 1
sur 1
Résultats de
1 à 3
cours / présentation
05/06/2013
Théorie algorithmique de l'information
Auteur(s)
:
DELAHAYE Jean-Paul
Description
:
Qu'est-ce que l'information et comment la mesurer ? qu'est-ce que la complexité et comment la mesurer ? En 2013, les travaux d'application sur la mesure de la complexité continuent car on est encore loin d'avoir tout compris. Les solutions proposées jusqu'à présent sont trop simplifiées ou trop ...
invariance
calcul informatique
théorie complexité
théorie de l'information
complexité algorithmique
complexité Kolmogorov
La théorie de la calculabilité
cours / présentation
Les nombres et l'ordinateur
Auteur(s)
:
BOLDO Sylvie
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 ...
calcul informatique
preuve de programme
analyse numérique
arithmétique virgule flottante
erreur de calcul
méthodes formelles
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
1