Rechercher une ressource pédagogique : preuve

Le moteur de recherche des ressources pédagogiques donne accès à un ensemble de documents mis à disposition par l'Université Numérique, les établissements d'enseignement supérieur et Canal U. Vous y trouverez des productions universitaires dans l'ensemble des domaines de formation.

FILTRES

32 résultats
section 1 sur 4
résultats 1 à 10
UNIT
UNIT
07.01.2009
Approches fonctionnelles de la programmation
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.
  • fuscia
  • Lisp
  • Haskell
  • preuve de programme
UNIT
UNIT
08.10.2009
Comment faire confiance à un compilateur ? (série : Colloquium Jacques Morgenstern)
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 ...
  • compilateur
  • logiciel critique
  • programmation fonctionnelle
  • vérification de programme
  • vérification formelle
  • preuve formelle
  • fuscia
  • conference
  • stic
  • recherche
UNIT
UNIT
30.03.2010
Comment faire confiance à un compilateur ?
Description : Comment faire exécuter par une machine des programmes écrits dans un langage de haut niveau, qu’elle ne peut comprendre ?
  • erreur
  • langage haut niveau
  • fossé sémantique
  • preuve formelle
  • CompCert
  • fuscia
UNIT
UNIT
28.11.2008
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.
  • bug
  • paradigme de programmation
  • niveau d'abstraction
  • erreur
  • preuve de programme
  • fuscia
UNIT
UNIT
01.08.2011
Du rêve à la réalité des preuves
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.
  • assistant de preuve
  • preuve formelle
  • preuve de programme
  • logique mathématique
  • démonstration
  • complexité
  • fuscia
UNISCIEL (unisciel)
UNISCIEL (unisciel)
01.10.2010
Évaluation polynomiale [pf03] - Exercice
Description : Cet exercice détermine la complexité de l'évaluation polynomiale selon le schéma de Hörner.
  • Preuve d'algorithme
  • Notations asymptotiques
  • algorithmie
  • programmation
  • C
  • C++
  • Java
Canal-U
Canal-U
23.09.2009
Formation à la lecture critique d'articles : Analyse de la publication d’un essai thérapeutique 2/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 ...
  • 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
Canal-U
Canal-U
23.09.2009
Formation à la lecture critique d'articles : Analyse de la publication d’une étude pronostique 3/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 ...
  • 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
Canal-U
Canal-U
23.09.2009
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 ...
  • 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
UNIT
UNIT
08.06.2006
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...
  • informatisation
  • bug application
  • preuve formelle
  • circuit
  • fuscia