34 résultats : preuves

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
34 résultats
page 1 sur 4
résultats 1 à 10
Canal-U
La vérité : ouverture et introduction / Marie-France Barthet, Marie-Claude Maurel, Olivier Guerrier
Description : La vérité : ouverture et introduction / Marie-France Barthet, Marie-Claude Maurel, Olivier Guerrier. 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 ...
Mots clés : connaissance scientifique, objectivité, vérité (épistémologie), relation pouvoir-vérité, preuve (épistémologie)
Date : 02-04-2013
Format : video/mp4
Auteur : BARTHET Marie-France, MAUREL Marie-Claude, GUERRIER Olivier
Thème : Théorie de la connaissance
Type de la ressource pédagogique : cours / présentation
Niveau : enseignement supérieur
Droits : Droits réservés à l'éditeur et aux auteurs. Tous droits réservés à l'Université Toulouse II-Le Mirail et aux auteurs.
UNIT
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
Format : Document HTML
Auteur : Berry Gérard
Thème : Ingénierie et activités connexes
Type de la ressource pédagogique : cours / présentation, démonstration
Niveau : enseignement supérieur
Public : apprenant
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
UNIT
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
Format : Document HTML, Vidéo MPEG
Auteur : Bertot Yves
Thème : Informatique
Type de la ressource pédagogique : cours / présentation, outil, exercice, liste de références
Niveau : enseignement supérieur, master, bac+4, bac+5
Public : enseignant, apprenant
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
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
Format : video/mp4
Auteur : BOLDO Sylvie
Thème : Mathématiques, Informatique
Type de la ressource pédagogique : cours / présentation
Niveau : formation continue
Droits : Droits réservés à l'éditeur et aux auteurs.
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
Format : video/mp4
Auteur : BOLDO Sylvie
Thème : Informatique, Mathématiques
Type de la ressource pédagogique : cours / présentation
Niveau : master, formation continue
Droits : Droits réservés à l'éditeur et aux auteurs.
UNIT
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
Format : Document HTML
Auteur : Boldo Sylvie
Thème : Informatique
Type de la ressource pédagogique : cours / présentation, démonstration
Niveau : enseignement supérieur
Public : apprenant
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
Canal-U
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
Format : video/mp4
Auteur : CASTEL Patrick, LEVILAIN Hervé, MAGRO Raymond
Thème : Généralités - Sciences sociales, Sociologie, Médecine et santé
Type de la ressource pédagogique : cours / présentation
Niveau : licence, enseignement supérieur
Droits : Droits réservés à l'éditeur et aux auteurs.
UNIT
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
Format : Document HTML
Auteur : Castiel Anita
Thème : Informatique
Type de la ressource pédagogique : cours / présentation, démonstration
Niveau : enseignement supérieur
Public : apprenant
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
Canal-U
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
Format : video/mp4
Auteur : COHEN Jacques
Thème : Médecine et santé
Type de la ressource pédagogique : cours / présentation
Niveau : enseignement supérieur
Droits : Droits réservés à l'éditeur et aux auteurs.
Canal-U
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
Format : video/mp4
Auteur : DARTIGUES Jean-François
Thème : Généralités - Technologie (Sciences appliquées), Médecine et santé
Type de la ressource pédagogique : cours / présentation
Niveau : formation continue
Droits : Droits réservés à l'éditeur et aux auteurs.