Recherche en cours
Par mots-clef
=
Coq
Affiner ma recherche
Imprimer
Flux RSS
Titre
Titre
Date
Auteur
Afficher 12
Afficher 12
Afficher 24
Afficher 36
Afficher 48
Afficher 60
Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
4
résultats
section 1-1
sur 1
résultats
1 à 4
UNIT
La vérité et la machine
Description
:
Peut-on être sûr de la vérité d?une preuve ? Cette preuve de la preuve, comment l?obtenir en pratique ? La vérification formelle de démonstration est de plus en plus utilisée par les mathématiciens.
Date
:
11-12-2008
Format
:
Document HTML
Auteur
:
Werner Benjamin
Thème
:
Mathématiques
Type de la ressource pédagogique
:
cours / présentation, démonstration
Niveau
:
enseignement supérieur
Public
:
apprenant
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 ...
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
UNIT
Preuves formelles, preuves calculatoires
Description
:
Dans cet exposé, Benjamin Werner présente les méthodes formelles appliquées à la validation de résultats spectaculaires comme la démonstration du théorème des quatre couleurs, ou encore de la conjecture de Kepler.
Date
:
08-01-2007
Format
:
Document HTML
Auteur
:
Werner Benjamin
Thème
:
Mathématiques
Type de la ressource pédagogique
:
cours / présentation, démonstration
Niveau
:
enseignement supérieur
Public
:
apprenant
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.
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
Afficher section
2
sur 1