6 ressources en auto-formation : méthode formelle

FILTRES

6 résultats
page 1 sur 1
Résultats de 1 à 6
Présentation de la ressource en auto-formation Preuves de programmes en coq cours / présentation, outil, exercice, liste de références
21/09/2012
Preuves de programmes en coq
Auteur(s) : Bertot Yves
Description : 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 ...
Présentation de la ressource en auto-formation Preuves formelles, preuves calculatoires cours / présentation, démonstration
19/03/2007
Preuves formelles, preuves calculatoires
Auteur(s) : Werner Benjamin
Description : Dans cet exposé, Benjamin Werner présente les méthodes formelles appliquées à la validation de résultats spectaculaires comme la démonstration du théorème des quatre couleurs, ou encore de la conjecture de Kepler.
Présentation de la ressource en auto-formation Révèle tes défauts (série Unithé ou café) cours / présentation
07/02/2014
Révèle tes défauts (série Unithé ou café)
Auteur(s) : Haar Stefan
Description : 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 i ...
Présentation de la ressource en auto-formation Sécurité systèmes : flot d'information et anonymat (TIIR) cours / présentation
08/07/2013
Sécurité systèmes : flot d'information et anonymat (TIIR)
Auteur(s) : Fontaine Arnaud
Description : Deuxième volet du module de cours "Sécurité des systèmes" composé de quatre parties. Il aborde les aspects d'anonymat et de flot d'information sécurisé pour lesquels il n'existe pas de définitions dans des normes ou standards. L'anonymat sera envisagé au travers d'un réseau d'anonymat : nous allons ...
Présentation de la ressource en auto-formation Les nombres et l'ordinateur 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 ...
Présentation de la ressource en auto-formation Pourquoi mon ordinateur calcule faux? 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 ...