4 résultats : calcul informatique

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
4 résultats
page 1 sur 1
résultats 1 à 4
Canal-U
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.
 En savoir plus
 Description complète
Pourquoi mon ordinateur calcule faux?
 Ajouter à mon panier
Accéder aux documents
Canal-U
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.
 En savoir plus
 Description complète
Les nombres et l'ordinateur
 Ajouter à mon panier
Accéder aux documents
Canal-U
Théorie algorithmique de l'information
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 ...
Mots clés : invariance, calcul informatique, théorie complexité, théorie de l'information, complexité algorithmique, complexité Kolmogorov, La théorie de la calculabilité
Date : 05-06-2013
Droits : Droits réservés à l'éditeur et aux auteurs.
 En savoir plus
 Description complète
Théorie algorithmique de l'information
 Ajouter à mon panier
Accéder aux documents
Canal-U
Introduction à la calculabilité
Description : Qu'est-ce que le calcul en Informatique ? Dans la première partie on s'intéresse à l'aspect épistémologique : comment s'est-on interessé au problème de la calculabilité en informatique  ? on abordera ensuite les bases de la calculabilité : qu'est-ce qu'un système de programmation ? quelles sont ...
Mots clés : calculabilité, calcul informatique, Georg Cantor (1845-1918)
Date : 05-06-2013
Droits : Droits réservés à l'éditeur et aux auteurs.
 En savoir plus
 Description complète
Introduction à la calculabilité
 Ajouter à mon panier
Accéder aux documents