Sommaire
cours / présentation, démonstration
Les Tours de Hanoï : un problème classique de récursion
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ï....
Date de création :
03.02.2015Auteur(s) :
Christian Queinnec;ChristianAccéder à la ressource :
Présentation
Informations pratiques
Langue du document : Français
Type : cours / présentation, démonstration
Niveau : enseignement supérieur
Langues : Français
Contenu : texte, image, ressource interactive
Public(s) cible(s) : apprenant
Document : Document HTML
Age attendu : 18+
Droits d'auteur : pas libre de droits, gratuit
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
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
Description de la ressource
Résumé
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ï.
- Granularité : grain
- Structure : atomique
"Domaine(s)" et indice(s) Dewey
- (511.8)
Domaine(s)
- Informatique théorique
- Généralités, philosophie, théorie des mathématiques
- Fondamentaux et modèles mathématiques
- Principes généraux
Intervenants, édition et diffusion
Intervenants
Créateur(s) de la métadonnée : Marie-Hélène Comte;Marie-Hélène
Édition
- Institut National de Recherche en Informatique et en Automatique / Interstices
Diffusion
Cette ressource vous est proposée par :
Fiche technique
Identifiant de la fiche : http://ori.unit-c.fr/uid/unit-ori-wf-1-6805
Identifiant OAI-PMH : oai:www.unit.eu:unit-ori-wf-1-6805
Statut de la fiche : final
Schéma de la métadonnée : oai:uved:Cemagref-Marine-Protected-Areas
- LOMv1.0
- LOMFRv1.0
- SupLOMFRv1.0
- Voir la fiche XML
Entrepôt d'origine : UNIT
Voir aussi
01.10.2012
Description
:
Ce module introduit la récursivité des actions, un des concepts de programmation les plus importants.
- Récursivité
- Types de récursivité
- Tours de Hanoi
- Coût de la récursivité
- Récursivité terminale
- Algorithmie
- Algorithmique
- Programmation
21.09.2012
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