3 résultats : récursion

Recherche en cours

Par mots-clef = récursion

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.

3 résultats

page 1 sur 1

résultats 1 à 3

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 ...

Mots clés : 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

Date : 21-09-2012

Droits : Ces ressources de cours sont la copropriété, à parts égales, d’UNIT et de l'Inria et relèvent de la licence logicielle GPL, dans sa version française CeCILL : http://www.cecill.info/licences/Licence_CeCILL-V1_VF.pdf

Preuves de programmes en coq

Ajouter à mon panier

Accéder au document

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 ...

Mots clés : 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

Date : 07-11-2000

Droits : Licence creative commons Paternité "Vous êtes libre de reproduire, distribuer et communiquer cette création au public [et] de modifier cette création" à condition de citer l'auteur et le titre du document.

Estimation des paramètres d'un modèle par la méthode des moindres carrés récursifs

Ajouter à mon panier

Accéder aux documents

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ï.

Mots clés : récursion, tours de Hanoï, programmation récursive, fuscia

Date : 03-02-2015

Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode

Les Tours de Hanoï : un problème classique de récursion

Ajouter à mon panier

Accéder au document

Rebondir