Date d'impression :
07.09.15
Page: http://test.sup-numerique.gouv.fr/pid31942/moteur-de-ressources.html
MOTEUR DE RESSOURCES
Consultez la rubrique :
Moteur de ressources
Fermer
Niv. 1
Niv. 2
Accueil du moteur de ressources
Ressources en auto-formation par mot-clé
T
théorie des types
1
ressource en auto-formation :
théorie des types
Rechercher
Tous les mots
Un des mots
L'expression exacte
FILTRES
1
1
Retour
Imprimer
Flux RSS
Date
Date
Titre
Auteur(s)
Affichage 10
Affichage 10
Affichage 20
Affichage 50
Affichage 100
1
ressource
page 1
sur 1
Résultats de
1 à 1
cours / présentation, outil, exercice, liste de références
21/09/2012
Preuves de programmes en coq
Auteur(s)
:
Bertot Yves
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
1