Table des matières
85 relations: Algol (langage), Algorithme, Algorithme de Casteljau, Algorithme de Clenshaw, Algorithme de Douglas-Peucker, Algorithme de Havel-Hakimi, Algorithme de Karatsuba, Algorithme de Lehmer-Schur, Algorithme de tri, Algorithme des moindres carrés récursifs, Algorithme X de Knuth, Anatoli Maltsev, Arbre binaire, Arbre enraciné, Autosimilarité, Évaluation paresseuse, Benjamin Rabier, Cambridge University Press, Charles Antony Richard Hoare, Compilateur, Conjecture de Syracuse, Diviser pour régner (informatique), Exponentiation rapide, Factorielle, Fonction 91 de McCarthy, Fonction d'Ackermann, Fonction de Sudan, Fonction de Takeuchi, Fonction récursive, Fonction récursive primitive, Fortran, Fractale, Haskell, Imprédicativité, Induction structurelle, Informatique, Instance (programmation), Jan van Eyck, John Backus, La vache qui rit, Langage de programmation, Le Bourgeois gentilhomme, Lisp, Liste (informatique), Mémoïsation, McGraw-Hill Education, Mise en abyme, Mise en œuvre, MIT Press, Molière, ... Développer l'indice (35 plus) »
- Calculabilité
- Informatique théorique
Algol (langage)
Algol est un langage de programmation créé à la fin des années 1950.
Voir Algorithme récursif et Algol (langage)
Algorithme
triangulation). Un algorithme est une suite finie et non ambiguë d'instructions et d’opérations permettant de résoudre une classe de problèmes.
Voir Algorithme récursif et Algorithme
Algorithme de Casteljau
L'algorithme de Casteljau est un algorithme récursif trouvé par Paul de Casteljau pour approximer efficacement les polynômes écrits dans la base de Bernstein.
Voir Algorithme récursif et Algorithme de Casteljau
Algorithme de Clenshaw
En analyse numérique, l’algorithme de Clenshaw Dans ce papier, on utilise la forme étendue des polynômes de Tchebychev de première espèce T^*_n(x).
Voir Algorithme récursif et Algorithme de Clenshaw
Algorithme de Douglas-Peucker
En informatique, plus précisément en algorithmique, plus précisément en algorithmique géométrique, l’algorithme de Douglas-Peucker, aussi connu sous le nom d'algorithme de Ramer-Douglas-Peucker, sert à simplifier un polygone ou une ligne brisée en supprimant des points.
Voir Algorithme récursif et Algorithme de Douglas-Peucker
Algorithme de Havel-Hakimi
En théorie des graphes, l'algorithme de Havel-Hakimi est un algorithme résolvant le problème de la réalisation d'un graphe, c'est-à-dire, étant donné une liste d'entiers positifs ou nuls, déterminer s'il existe un graphe simple dont les degrés sont exactement cette liste.
Voir Algorithme récursif et Algorithme de Havel-Hakimi
Algorithme de Karatsuba
En informatique, l'algorithme de Karatsuba est un algorithme pour multiplier rapidement deux nombres de n chiffres avec une complexité temporelle en au lieu de pour la méthode naïve.
Voir Algorithme récursif et Algorithme de Karatsuba
Algorithme de Lehmer-Schur
L'algorithme de Lehmer-Schur (nommée d'après Derrick Lehmer et Issai Schur) permet de trouver les zéros d'une fonction holomorphe définie sur un rectangle du plan complexe.
Voir Algorithme récursif et Algorithme de Lehmer-Schur
Algorithme de tri
Tri d'une liste aléatoire à l'aide du tri par fusion. Un algorithme de tri est, en informatique ou en mathématiques, un algorithme qui permet d'organiser une collection d'objets selon une relation d'ordre déterminée.
Voir Algorithme récursif et Algorithme de tri
Algorithme des moindres carrés récursifs
En traitement numérique du signal, l'algorithme des moindres carrés récursifs (en anglais, RLS ou Recursive least squares) est un filtre adaptatif, un type de filtre.
Voir Algorithme récursif et Algorithme des moindres carrés récursifs
Algorithme X de Knuth
L'algorithme X de Donald Knuth est un algorithme récursif, de parcours en profondeur et à retour sur trace.
Voir Algorithme récursif et Algorithme X de Knuth
Anatoli Maltsev
Anatoli Ivanovitch Maltsev (en Анатолий Иванович Мальцев), né le à Micheronsky, près de Moscou, et mort le à Novossibirsk, en URSS est un mathématicien et logicien russe connu pour ses travaux sur la décidabilité de diverses structures algébriques.
Voir Algorithme récursif et Anatoli Maltsev
Arbre binaire
En informatique, un arbre binaire est une structure de données qui peut se représenter sous la forme d'une hiérarchie dont chaque élément est appelé nœud, le nœud initial étant appelé racine.
Voir Algorithme récursif et Arbre binaire
Arbre enraciné
En théorie des graphes, un arbre enraciné ou une arborescence est un graphe acyclique orienté possédant une unique racine, et tel que tous les nœuds sauf la racine ont un unique parent.
Voir Algorithme récursif et Arbre enraciné
Autosimilarité
L'autosimilarité est le caractère d'un objet dans lequel on peut trouver des similarités en l'observant à différentes échelles.
Voir Algorithme récursif et Autosimilarité
Évaluation paresseuse
L’évaluation paresseuse, appelée aussi appel par nécessité ou évaluation retardée est une technique d'implémentation des programmes récursifs pour laquelle l'évaluation d'un paramètre de fonction ne se fait pas avant que les résultats de cette évaluation ne soient réellement nécessaires.
Voir Algorithme récursif et Évaluation paresseuse
Benjamin Rabier
Benjamin Rabier, né le à Napoléon-Vendée et mort le à Faverolles, est un auteur pour la jeunesse, dramaturge, animateur, illustrateur et auteur de bande dessinée français.
Voir Algorithme récursif et Benjamin Rabier
Cambridge University Press
Cambridge University Press ou CUP (en français, Presses universitaires de Cambridge) est une maison d'édition universitaire britannique rattachée à l’université de Cambridge.
Voir Algorithme récursif et Cambridge University Press
Charles Antony Richard Hoare
Charles Antony Richard Hoare (généralement appelé Tony Hoare ou C. A. R. Hoare), né le à Colombo au Ceylan (maintenant Sri Lanka), est un professeur émérite britannique du Oxford University Computing Laboratory.
Voir Algorithme récursif et Charles Antony Richard Hoare
Compilateur
En informatique, un compilateur est un programme qui transforme un code source en un code objet.
Voir Algorithme récursif et Compilateur
Conjecture de Syracuse
La conjecture de Syracuse, encore appelée conjecture de Collatz, conjecture d'Ulam, conjecture tchèque, problème de Kakutani ou problème 3x + 1, est l'hypothèse mathématique selon laquelle la suite de Syracuse de n'importe quel entier strictement positif atteint 1.
Voir Algorithme récursif et Conjecture de Syracuse
Diviser pour régner (informatique)
Trois étapes (diviser, régner, combiner) illustrées avec l'algorithme du tri fusion En informatique, diviser pour régner (du latin, divide and conquer en anglais) est une technique algorithmique consistant à.
Voir Algorithme récursif et Diviser pour régner (informatique)
Exponentiation rapide
En informatique, l'exponentiation rapide est un algorithme utilisé pour calculer rapidement de grandes puissances entières.
Voir Algorithme récursif et Exponentiation rapide
Factorielle
En mathématiques, la factorielle d'un entier naturel n est le produit des nombres entiers strictement positifs inférieurs ou égaux à n. Cette opération est notée avec un point d'exclamation, n!, ce qui se lit soit « factorielle de n », soit « factorielle n », soit « n factorielle ».
Voir Algorithme récursif et Factorielle
Fonction 91 de McCarthy
La fonction 91 de McCarthy est une fonction récursive définie par McCarthy dans son étude de propriétés de programmes récursifs, et notamment de leur vérification formelle.
Voir Algorithme récursif et Fonction 91 de McCarthy
Fonction d'Ackermann
Dans la théorie de la récursivité, la fonction d'Ackermann (aussi appelée fonction d'Ackermann-Péter) est un exemple simple de fonction récursive non récursive primitive, trouvée en 1926 par Wilhelm Ackermann.
Voir Algorithme récursif et Fonction d'Ackermann
Fonction de Sudan
En calculabilité, la fonction de Sudan est un exemple de fonction récursive mais non récursive primitive (de même que la fonction d'Ackermann, plus connue).
Voir Algorithme récursif et Fonction de Sudan
Fonction de Takeuchi
La fonction de Takeuchi, abrégée tak ou parfois tarai, est la présentation récursive d'une fonction qui doit son nom à Ikuo Takeuchi (竹内郁雄).
Voir Algorithme récursif et Fonction de Takeuchi
Fonction récursive
En informatique et en mathématiques, le terme fonction récursive ou fonction calculable désigne la classe de fonctions dont les valeurs peuvent être calculées à partir de leurs paramètres par un processus mécanique fini.
Voir Algorithme récursif et Fonction récursive
Fonction récursive primitive
En théorie de la calculabilité, une fonction récursive primitive est une fonction construite à partir de la fonction nulle, de la fonction successeur, des fonctions projections et des schémas de récursion primitive (ou bornée) et de composition.
Voir Algorithme récursif et Fonction récursive primitive
Fortran
240x240px Simulation en Fortran de l'accrétion autour d'un trou noir (www.bhac.science). Densité à gauche et densité d'énergie magnétique à droite (zoom). Fortran est un langage de programmation généraliste dont le domaine de prédilection est le calcul scientifique et le calcul numérique.
Voir Algorithme récursif et Fortran
Fractale
alt.
Voir Algorithme récursif et Fractale
Haskell
Haskell est un langage de programmation fonctionnel fondé sur le lambda-calcul et la logique combinatoire.
Voir Algorithme récursif et Haskell
Imprédicativité
L'imprédicativité est un terme du domaine des mathématiques, de la logique, de la théorie des ensembles et de la théorie des types.
Voir Algorithme récursif et Imprédicativité
Induction structurelle
En mathématiques et davantage en informatique, la définition récursive ou induction structurelle est un procédé de définition conjointe d'un type (classe ou ensemble) et d'objets (éléments) qui le compose au moyen de règles de construction (constructeurs) qui agencent ou structurent ces objets.
Voir Algorithme récursif et Induction structurelle
Informatique
bibliothèque d'Art et d'Archéologie de Genève (2017). L'informatique est un domaine d'activité scientifique, technique, et industriel concernant le traitement automatique de l'information numérique par l'exécution de programmes informatiques hébergés par des dispositifs électriques-électroniques: des systèmes embarqués, des ordinateurs, des robots, des automates Ces champs d'application peuvent être séparés en deux branches.
Voir Algorithme récursif et Informatique
Instance (programmation)
En programmation orientée objet, on appelle instance d'une classe, un objet avec un comportement et un état, tous deux définis par la classe.
Voir Algorithme récursif et Instance (programmation)
Jan van Eyck
''La Vierge du chancelier Rolin'' ''La Vierge au chanoine Van der Paele'' Jan van Eyck, né vers 1390 peut-être à Maaseik et mort à Bruges le, est un peintre né dans les territoires soumis à l'autorité du prince-évêque de Liège Jean de Bavière (1390-1417), qui devient son protecteur.
Voir Algorithme récursif et Jan van Eyck
John Backus
John Warner Backus (né à Philadelphie le – mort à Ashland (Oregon) le) est un informaticien américain.
Voir Algorithme récursif et John Backus
La vache qui rit
La vache qui rit est une marque commerciale désignant un mélange de fromages fondus de fabrication industrielle (autrefois dénommé « crème de gruyère »), de la société Fromageries Bel.
Voir Algorithme récursif et La vache qui rit
Langage de programmation
Fragment de code écrit dans le langage de programmation JavaScript. Un langage de programmation est un langage informatique destiné à formuler des algorithmes et produire des programmes informatiques qui les appliquent.
Voir Algorithme récursif et Langage de programmation
Le Bourgeois gentilhomme
Le Bourgeois gentilhomme est une comédie-ballet de Molière, en trois puis cinq actes (comportant respectivement 2, 5, 16, 5 et) en prose (sauf les entrées de ballet qui sont en vers), représentée pour la première fois le, devant la cour de, au château de Chambord par la troupe de Molière.
Voir Algorithme récursif et Le Bourgeois gentilhomme
Lisp
Lisp est la plus ancienne famille de langages de programmation à la fois impératifs et fonctionnels.
Voir Algorithme récursif et Lisp
Liste (informatique)
En informatique, une liste est une structure de données permettant de regrouper des données de manière à pouvoir y accéder librement (contrairement aux files et aux piles, dont l'accès se fait respectivement en mode FIFO et LIFO).
Voir Algorithme récursif et Liste (informatique)
Mémoïsation
En informatique, la mémoïsation (ou mémoïzation) est la mise en cache des valeurs de retour d'une fonction selon ses valeurs d'entrée.
Voir Algorithme récursif et Mémoïsation
McGraw-Hill Education
McGraw-Hill Education est une entreprise américaine basée à New York issue de la scission de l'ancienne société McGraw-Hill en 2013.
Voir Algorithme récursif et McGraw-Hill Education
Mise en abyme
Exemple de mise en abyme (avec l'utilisation de la statue ''Le Penseur'' d'Auguste Rodin). La mise en abyme est un procédé consistant à représenter une œuvre dans une œuvre similaire, par exemple dans les phénomènes de « film dans un film », ou encore en incrustant dans une image cette image elle-même (en réduction).
Voir Algorithme récursif et Mise en abyme
Mise en œuvre
La mise en œuvre est le fait de mettre en place un projet.
Voir Algorithme récursif et Mise en œuvre
MIT Press
MIT Press (pouvant se traduire en français par « presses du MIT ») est une maison d'édition universitaire américaine affiliée au Massachusetts Institute of Technology à Cambridge, Massachusetts.
Voir Algorithme récursif et MIT Press
Molière
Jean-Baptiste Poquelin, dit Molière, baptisé le à l'église Saint-Eustache de Paris et mort le soir du à son domicile de la rue de Richelieu, est le plus célèbre des comédiens et dramaturges de langue française.
Voir Algorithme récursif et Molière
National Gallery
colonne Nelson sur l'entrée principale. La National Gallery (en français, la Galerie nationale) fondée en 1824, est un musée situé à Londres en Angleterre et occupant le nord de Trafalgar Square depuis 1838.
Voir Algorithme récursif et National Gallery
Niklaus Wirth
Niklaus Emil Wirth, né le, à Winterthour (Suisse), est un professeur d'informatique, inventeur de plusieurs langages de programmation.
Voir Algorithme récursif et Niklaus Wirth
Ordre lexicographique
En mathématiques, un ordre lexicographique est un ordre que l'on définit sur les suites finies d'éléments d'un ensemble ordonné (ou, de façon équivalente, les mots construits sur un ensemble ordonné).
Voir Algorithme récursif et Ordre lexicographique
Paradigme (programmation)
langue.
Voir Algorithme récursif et Paradigme (programmation)
Partition d'un entier
En mathématiques, une partition d'un entier (parfois aussi appelée partage d'un entier) est une décomposition de cet entier en une somme d'entiers strictement positifs (appelés parties ou sommants), à l'ordre près des termes (à la différence du problème de composition tenant compte de l'ordre des termes).
Voir Algorithme récursif et Partition d'un entier
Pascal (langage)
Pascal est un langage de programmation impératif qui, conçu pour l'enseignement, se caractérise par une syntaxe claire, rigoureuse et facilitant la structuration des programmes.
Voir Algorithme récursif et Pascal (langage)
Permutation
En mathématiques, la notion de permutation exprime l'idée de réarrangement d'objets discernables.
Voir Algorithme récursif et Permutation
Pile (informatique)
En informatique, une pile (en anglais stack) est une structure de données fondée sur le principe « dernier arrivé, premier sorti » (en anglais LIFO pour last in, first out), ce qui veut dire qu'en général, le dernier élément ajouté à la pile est le premier à en sortir.
Voir Algorithme récursif et Pile (informatique)
Plus grand commun diviseur
En arithmétique élémentaire, le plus grand commun diviseur ou '''PGCD''' de deux nombres entiers non nuls est le plus grand entier qui les divise simultanément.
Voir Algorithme récursif et Plus grand commun diviseur
Prix Turing
Le prix Turing ou, en hommage à Alan Turing (1912-1954), est attribué tous les ans depuis 1966 à une personne sélectionnée pour sa contribution de nature technique faite à la communauté informatique.
Voir Algorithme récursif et Prix Turing
Problème des huit dames
Le but du problème des huit damesParfois appelé problème des huit reines par traduction de l'anglais, bien que le nom de cette pièce soit Dame en français.
Voir Algorithme récursif et Problème des huit dames
Programmation fonctionnelle
La programmation fonctionnelle est un paradigme de programmation de type déclaratif qui considère le calcul en tant qu'évaluation de fonctions mathématiques.
Voir Algorithme récursif et Programmation fonctionnelle
Pseudo-code
En programmation, le pseudo-code, également appelé LDA (pour Langage de Description d'Algorithmes) est une façon de décrire un algorithme en langage presque naturel, sans référence à un langage de programmation en particulier.
Voir Algorithme récursif et Pseudo-code
Quadtree
Un quadtree ou arbre quaternaire (arbre Q) est une structure de données de type arbre dans laquelle chaque nœud a quatre fils.
Voir Algorithme récursif et Quadtree
Récursion mutuelle
Et mathématiques et en informatique, la récursion mutuelle est une récursion où deux (ou plus) fonctions mathématiques ou programmatiques sont définies l'une en termes de l'autre.
Voir Algorithme récursif et Récursion mutuelle
Récursion terminale
En informatique, la récursion terminale, aussi appelée, récursion finale, est un cas particulier de récursivité assimilée à une itération.
Voir Algorithme récursif et Récursion terminale
Récursivité
La récursivité est une démarche qui fait référence à l'objet même de la démarche à un moment du processus.
Voir Algorithme récursif et Récursivité
Rózsa Péter
Rózsa Péter (-) était une mathématicienne hongroise.
Voir Algorithme récursif et Rózsa Péter
Relation bien fondée
En mathématiques, une relation bien fondée (encore appelée relation noethérienne ou relation artinienne) est une relation binaire vérifiant l'une des deux conditions suivantes, équivalentes d'après l'axiome du choix dépendant (une version faible de l'axiome du choix).
Voir Algorithme récursif et Relation bien fondée
Relation d'ordre
Une relation d'ordre dans un ensemble est une relation binaire dans cet ensemble qui permet de comparer ses éléments de manière cohérente.
Voir Algorithme récursif et Relation d'ordre
Sigle récursif
Un sigle autoréférentiel ou récursif est un sigle qui fait appel à la récursivité et plus précisément à l'autoréférence dans un procédé de mise en abyme littéraire.
Voir Algorithme récursif et Sigle récursif
Structure et interprétation des programmes informatiques
Structure et interprétation des programmes informatiques (Structure and Interpretation of Computer Programs, SICP) est un livre écrit par Harold Abelson, Gerald Jay Sussman et Julie Sussman.
Voir Algorithme récursif et Structure et interprétation des programmes informatiques
Suite de Fibonacci
Une juxtaposition de carrés dont les côtés ont pour longueur des nombres successifs de la suite de Fibonacci: 1, 1, 2, 3, 5, 8, 13 et 21. En mathématiques, la suite de Fibonacci est une suite de nombres entiers dans laquelle chaque nombre est la somme des deux nombres qui le précèdent.
Voir Algorithme récursif et Suite de Fibonacci
Tapis de Sierpiński
Le tapis de Sierpiński (1916), du nom de Wacław Sierpiński, est une fractale obtenue à partir d'un carré.
Voir Algorithme récursif et Tapis de Sierpiński
Terminaison d'un algorithme
La terminaison est une propriété fondamentale des algorithmes.
Voir Algorithme récursif et Terminaison d'un algorithme
Théorème de Masreliez
Le théorème de Masreliez est un algorithme récursif largement utilisé dans la technologie pour l'estimation robuste et le filtre de Kalman étendu, nommé d'après son auteur, le physicien suédo-américain, C. Johan Masreliez.
Voir Algorithme récursif et Théorème de Masreliez
Tours de Hanoï
Les tours de Hanoï (originellement, la tour d'Hanoï) sont un jeu de réflexion imaginé par le mathématicien français Édouard Lucas, et consistant à déplacer des disques de diamètres différents d'une tour de « départ » à une tour d'« arrivée » en passant par une tour « intermédiaire », et ceci en un minimum de coups, tout en respectant les règles suivantes.
Voir Algorithme récursif et Tours de Hanoï
Transformation de Fourier rapide
La transformation de Fourier rapide (sigle anglais: FFT ou) est un algorithme de calcul de la transformation de Fourier discrète (TFD).
Voir Algorithme récursif et Transformation de Fourier rapide
Tri fusion
En informatique, le tri fusion, ou tri dichotomique, est un algorithme de tri par comparaison stable.
Voir Algorithme récursif et Tri fusion
Tri rapide
En informatique, le tri rapide ou tri pivot (en anglais quicksort) est un algorithme de tri inventé par C.A.R. Hoare en 1961 et fondé sur la méthode de conception diviser pour régner.
Voir Algorithme récursif et Tri rapide
Type récursif
En programmation informatique et théorie des types, un type récursif est un type de données dont la définition fait appel au type lui‐même, de façon récursive.
Voir Algorithme récursif et Type récursif
Wacław Sierpiński
Wacław Franciszek Sierpiński (né le et mort à Varsovie) est un mathématicien polonais, connu pour ses recherches sur la théories des nombres, théories des ensembles, la topologie et la théorie des fonctions.
Voir Algorithme récursif et Wacław Sierpiński
X (mathématique)
Le symbole x est généralement utilisé pour désigner une inconnue ou une variable et, par extension, une abscisse.
Voir Algorithme récursif et X (mathématique)
1977
L'année 1977 est une année commune qui commence un samedi.
Voir Algorithme récursif et 1977
1980
L'année 1980 est une année bissextile qui commence un mardi.
Voir Algorithme récursif et 1980
Voir aussi
Calculabilité
- Algorithme récursif
- Castor affairé
- Complexité de Kolmogorov
- Complexité de Lempel-Ziv
- Degré de Turing
- Demi-groupe automatique
- ELEMENTARY (complexité)
- Ensemble récursif
- Ensembles récursivement inséparables
- Fonction calculable
- Fonction d'Ackermann
- Fonction récursive
- Fonction récursive primitive
- Groupe automatique
- Hiérarchie analytique
- Hiérarchie arithmétique
- Hiérarchie de Grzegorczyk
- Hiérarchie de croissance rapide
- Lambda-calcul
- Langage récursif
- Lemme de König
- Machine de Krivine
- Machine de Turing
- Mathématiques à rebours
- Nombre réel calculable
- Numération
- Oracle (machine de Turing)
- Ordinal récursif
- Principe de Church-Turing-Deutsch
- Problème de correspondance de Post
- Problème de décision
- Problème de l'arrêt
- Problème de la décision
- Problème de satisfiabilité de circuit
- Récursivement énumérable
- Saut de Turing
- Système acceptable de programmation
- Théorème d'itération
- Théorème de Post
- Théorème de Trakhtenbrot
- Théorème de récursion de Kleene
- Théorie de la calculabilité
- Thèse de Church
Informatique théorique
- École d'été de Marktoberdorf
- Algorithme
- Algorithme récursif
- Architecture dirigée par les données
- Automate d'arbres
- Bisimulation
- Calculating Space
- Classe de complexité
- Code de Reed-Muller
- Coinduction
- Complexité d'un mot
- Computability in Europe
- Correction d'un algorithme
- Définition par récurrence
- European Association for Theoretical Computer Science
- Fundamenta Informaticae
- Idempotence
- Informatique naturelle
- Informatique quantique
- Informatique théorique
- Institut national de recherche en informatique et en automatique
- Journal of Automata, Languages and Combinatorics
- Lambda-calcul
- Langage formel
- Language Of Temporal Ordering Specification
- Méthode formelle (informatique)
- Machine de Krivine
- Machine de Turing
- Modèle LogP (Informatique)
- Optimisation combinatoire
- Pi-calcul
- Planification de mouvement
- Plus petit ancêtre commun
- Préordre de simulation
- Prix Donald E. Knuth
- Prix Gödel
- Prix IPEC Nerode
- Problème algorithmique
- Problème de l'évaluation d'un circuit
- Problème de la couverture exacte
- Pseudo-aléatoire
- Raisonnement automatisé
- Special Interest Group on Algorithms and Computation Theory
- Spintronique
- Test de propriété
- Théorème de Cobham
- Théorie des ensembles approximatifs
- Theory of Computing Systems
- Vérification formelle
Également connu sous le nom de Cas d'arrêt.