Rechercher une ressource pédagogique : assistant de 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

2 résultats
section 1 sur 1
résultats 1 à 2
UNIT
UNIT
01.08.2011
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
UNIT
UNIT
21.09.2012
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 ...
  • 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