Rechercher une ressource pédagogique : récursion

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

3 résultats
section 1 sur 1
résultats 1 à 3
UNIT
UNIT
07.11.2000
Estimation des paramètres d'un modèle par la méthode des moindres carrés récursifs
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
UNIT
UNIT
03.02.2015
Les Tours de Hanoï : un problème classique de récursion
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
UNIT
UNIT
21.09.2012
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 ...
  • 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