3 ressources en auto-formation : récursion

FILTRES

3 résultats
page 1 sur 1
Résultats de 1 à 3
Présentation de la ressource en auto-formation Estimation des paramètres d'un modèle par la méthode des moindres carrés récursifs cours / présentation
10/02/2010
Estimation des paramètres d'un modèle par la méthode des moindres carrés récursifs
Auteur(s) : Le Roux Joël
Description : Ce cours concerne l'estimation récursive en tant que modèle mathématique permettant de faire de la prédiction à partir de données partiellement connues. Le but de cette méthode est de pouvoir comparer les données issues du système étudié et celles prédites par le modèle et de minimiser l'écart entre ...
Présentation de la ressource en auto-formation Les Tours de Hanoï : un problème classique de récursion cours / présentation, démonstration
07/04/2015
Les Tours de Hanoï : un problème classique de récursion
Auteur(s) : Queinnec Christian
Description : La pensée récursive est partout. Un exemple fréquemment utilisé en algorithmique pour en faire la démonstration se trouve être un casse-tête, les tours de Hanoï.
Présentation de la ressource en auto-formation Preuves de programmes en coq 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 ...