|
|<
<< Page précédente
1
Page suivante >>
>|
|
documents par page
|
Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
Tri :
Date de référencement
Editeur
Auteur
Titre
|
Preuves de programmes en coq
[Ressource pédagogique]
Date de publication :
20120921 |
Auteur(s) :
Bertot Yves |
Editeur(s) :
Inria, UNIT |
Origine de la fiche :
Université Numérique Ingénierie et Technologie
Le système Coq fournit un langage de programmation symbolique et un cadre logique pour raisonner sur les algorithmes décrits. Dans ce cours, nous décrivons les points clefs du langage de programmation, basé sur la programmation fonctionnelle, et du cadre logique de vérification, basé sur la logique d'ordre supérieur. Tous ces aspects reposent sur l'utilisation avancée de la notion de typage et sur...
Référencé le :
05-06-2018
|
|
Révèle tes défauts (série Unithé ou café)
[Ressource pédagogique]
Date de publication :
20140207 |
Auteur(s) :
Haar Stefan |
Editeur(s) :
INRIA (Institut national de recherche en informatique et automatique), Carvajal Elena |
Origine de la fiche :
Canal-u.fr
Votre connexion internet à la maison vient de planter. Votre stress face à des adolescents qui hurlent qu’ils n’ont plus de wifi n’est rien face à l’avalanche d’alertes systèmes que reçoit votre fournisseur d’accès à cet instant. Comment démêler d’où vient la panne, alors que les systèmes sont interconnectés et qu’une défaillance peut se manifester ailleurs qu’à la source du problème ? Tel le méde...
Référencé le :
11-07-2016
|
|
Les nombres et l'ordinateur
[Ressource pédagogique]
Date de publication :
20130605 |
Auteur(s) :
BOLDO Sylvie |
Editeur(s) :
INRIA (Institut national de recherche en informatique et automatique), Académie de Versailles |
Origine de la fiche :
Canal-u.fr
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 arithmétique dite flottante qui a ses contraintes.
D'une part chaque calcul est effectué avec un certain no...
Référencé le :
16-10-2013
|
|
Pourquoi mon ordinateur calcule faux?
[Ressource pédagogique]
Date de publication :
20090616 |
Auteur(s) :
BOLDO Sylvie |
Editeur(s) :
INRIA |
Origine de la fiche :
Canal-U - OAI Archive
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. El...
Référencé le :
27-04-2011
|
|
|
|<
<< Page précédente
1
Page suivante >>
>|
|
documents par page
|