34 résultats : preuves

L’informatisation des objets, ou l’invasion des pucerons

L’informatisation des objets, ou l’invasion des pucerons

Description : Les systèmes embarqués envahissent tous les pans de l’industrie, depuis l’avionique jusqu’aux objets de la vie courante. Doit-on redouter cette évolution technologique ? Regardez cette conférence de Gérard Berry...

Mots clés : informatisation, bug application, preuve formelle, circuit, fuscia

Date : 08-06-2006

Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode

Preuves de programmes en coq

Preuves de programmes en coq

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 ...

Mots clés : Coq, assistant de preuve, programmation fonctionnelle sûre, preuve de programme, logique mathématique, méthode formelle, calcul des constructions, correction de logiciel, algorithmique certifiée, théorie des types, logiciel libre, récursion, fuscia

Date : 21-09-2012

Droits : Ces ressources de cours sont la copropriété, à parts égales, d’UNIT et de l'Inria et relèvent de la licence logicielle GPL, dans sa version française CeCILL : http://www.cecill.info/licences/Licence_CeCILL-V1_VF.pdf

Pourquoi mon ordinateur calcule faux?

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.

Les nombres et l'ordinateur

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.

Demandez le programme

Description : La programmation consiste à décomposer un algorithme en ordres simples et à les écrire en un langage compréhensible par l’ordinateur.

Mots clés : bug, paradigme de programmation, niveau d'abstraction, erreur, preuve de programme, fuscia

Date : 28-11-2008

Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode

Demandez le programme

Les dynamiques d'introduction et de réception des recommandations en médecine

Les dynamiques d'introduction et de réception des recommandations en médecine

Description : Deuxième volet de la collection « Les formes de la médecine contemporaine ». La situation de la médecine contemporaine apparaît, à bien des égards, paradoxale. Elle occupe en effet une position éminente dans le monde contemporain et se voit amener à prendre en charge un nombre toujours plus grand ...

Mots clés : sociologie, aléas, connaissance, evidence based medicine, judiciarisation, médecine fondée sur les preuves, normes de pratiques, plasticité des normes, pratiques locales, réflexivité, relation thérapeutique, relation médecin-patient, recommandation, qualité, normalisation, médecine, coordination, ...

Date : 30-10-2009

Droits : Droits réservés à l'éditeur et aux auteurs.

Une preuve sur les nombres premiers

Une preuve sur les nombres premiers

Description : Un ordinateur, c’est avant tout une machine. Est-il alors bien raisonnable de lui confier des démonstrations ? Voici un exemple propre à convaincre les sceptiques.

Mots clés : algorithme de Knuth, preuve formelle, Coq, complexité, fuscia

Date : 24-02-2004

Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode

RMJCA N9 - Vérité et preuve scientifique

RMJCA N9 - Vérité et preuve scientifique

Description : Le professeur Jacques COHEN, nous explique quelle est l'utilité de preuves scientifiques pour prouver la vérité.

Mots clés : Faculté de Médecine de Reims, Manifestation de la Vérité, preuve, scientifique

Date : 15-05-2009

Droits : Droits réservés à l'éditeur et aux auteurs.

Formation à la lecture critique d'articles : Introduction à la LCA 1/3

Formation à la lecture critique d'articles : Introduction à la LCA 1/3

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 ...

Mots clés : maladie d'Alzheimer, pédagogie médicale, evidence-based medecine, jugement clinique, lecture critique d'articles (LCA), littérature scientifique (analyse critique), médecine (prise de décision), médecine fondée sur la preuve

Date : 23-09-2009

Droits : Droits réservés à l'éditeur et aux auteurs.