46 ressources en auto-formation : preuve

FILTRES

46 résultats
page 1 sur 5
Résultats de 1 à 10
Présentation de la ressource en auto-formation Approches fonctionnelles de la programmation cours / présentation
23/02/2009
Approches fonctionnelles de la programmation
Auteur(s) : Verna Didier
Description : Fournir un panorama complet du paradigme de programmation fonctionnelle et de son positionnement par rapport aux autres paradigmes de programmation (en particulier de la programmation impérative). Illustrer l'ensemble des concepts abordés au moyen de deux langages fonctionnels: Lisp et Haskell.
Présentation de la ressource en auto-formation Comment faire confiance à un compilateur ? (série : Colloquium Jacques Morgenstern) cours / présentation
11/12/2009
Comment faire confiance à un compilateur ? (série : Colloquium Jacques Morgenstern)
Auteur(s) : Leroy Xavier
Description : Les outils de vérification formelle de programmes (analyseurs statiques, prouveurs de programmes, model-checkers) ont fait des progrès remarquables ces dernières années et commencent à percer dans le monde du logiciel critique. Cependant, ces outils ne vérifient "que" des programmes source: des ...
Présentation de la ressource en auto-formation Comment faire confiance à un compilateur ? cours / présentation, démonstration
21/05/2010
Comment faire confiance à un compilateur ?
Auteur(s) : Leroy Xavier
Description : Comment faire exécuter par une machine des programmes écrits dans un langage de haut niveau, qu’elle ne peut comprendre ?
Présentation de la ressource en auto-formation Demandez le programme 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.
Présentation de la ressource en auto-formation Du rêve à la réalité des preuves cours / présentation, démonstration
08/06/2012
Du rêve à la réalité des preuves
Auteur(s) : Delahaye Jean-Paul
Description : Les ordinateurs ne savent pas prouver seuls des théorèmes profonds. Cependant, grâce aux assistants de preuve, ils garantissent les démonstrations découvertes par les mathématiciens.
Présentation de la ressource en auto-formation Évaluation polynomiale [pf03] - Exercice exercice
10/2010
Évaluation polynomiale [pf03] - Exercice
Auteur(s) : Zampieri Karine, Rivière Stéphane
Description : Cet exercice détermine la complexité de l'évaluation polynomiale selon le schéma de Hörner.
Présentation de la ressource en auto-formation Formation à la lecture critique d'articles : Analyse de la publication d’un essai thérapeutique 2/3 cours / présentation
23/09/2009
Formation à la lecture critique d'articles : Analyse de la publication d’un essai thérapeutique 2/3
Auteur(s) : DARTIGUES Jean-François, AURIACOMBE Sophie, HARSTON Sandrine
Description : La médecine fondée sur les faits (MFF) repose sur l’utilisation pertinente, dans la pratique quotidienne du médecin et du personnel soignant, des meilleures données disponibles issues d’études cliniques de qualité. La MFF nécessite donc pour partie, de la part des soignants, une capacité à lire ...
Présentation de la ressource en auto-formation Formation à la lecture critique d'articles : Analyse de la publication d’une étude pronostique 3/3 cours / présentation
23/09/2009
Formation à la lecture critique d'articles : Analyse de la publication d’une étude pronostique 3/3
Auteur(s) : DARTIGUES Jean-François, DELVA Fleur
Description : La médecine fondée sur les faits (MFF) repose sur l’utilisation pertinente, dans la pratique quotidienne du médecin et du personnel soignant, des meilleures données disponibles issues d’études cliniques de qualité. La MFF nécessite donc pour partie, de la part des soignants, une capacité à lire ...
Présentation de la ressource en auto-formation Formation à la lecture critique d'articles : Introduction à la LCA 1/3 cours / présentation
23/09/2009
Formation à la lecture critique d'articles : Introduction à la LCA 1/3
Auteur(s) : DARTIGUES Jean-François
Description : La médecine fondée sur les faits (MFF) repose sur l’utilisation pertinente, dans la pratique quotidienne du médecin et du personnel soignant, des meilleures données disponibles issues d’études cliniques de qualité. La MFF nécessite donc pour partie, de la part des soignants, une capacité à lire ...
Présentation de la ressource en auto-formation Gaz de schistes : quelles vérités ? / François Renard, Bénédicte Fauvarques-Cosson cours / présentation
02/04/2013
Gaz de schistes : quelles vérités ? / François Renard, Bénédicte Fauvarques-Cosson
Auteur(s) : RENARD François, FAUVARQUE-COSSON Bénédicte
Description : Gaz de schistes : quelles vérités ? / François Renard, Bénédicte Fauvarques-Cosson. In "La vérité", Journées Scientifiques annuelles de l'Institut Universitaire de France, organisées par le Pôle de recherche et d'enseignement supérieur (PRES) de Toulouse, l'Université Toulouse II-Le Mirail et l' ...