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é
R
récursion
3
ressources en auto-formation :
récursion
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
3
résultats
page 1
sur 1
Résultats de
1 à 3
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 ...
gradient
gradient stochastique
critère quadratique
moindres carrés récursifs
filtre de Kalman
estimation récursive
prédiction
matrice de covariance
énergie résiduelle
algorithme des moindres carrés
fuscia
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ï.
récursion
tours de Hanoï
programmation récursive
fuscia
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