Accès plus rapide que le navigateur!
43 relations: Algorithme récursif, Codage de Gödel, Conjecture de Goldbach, Décidabilité, Définition par récurrence, Effet de bord (informatique), Ensemble récursif, Fonction caractéristique (théorie des ensembles), Fonction constante, Fonction d'Ackermann, Fonction déterministe, Fonction de Sudan, Fonction pure, Fonction récursive primitive, Fonction semi-calculable, Fonction totale, Idempotence, Informatique, Jacques Herbrand, Kurt Gödel, Lambda-calcul, Langage formel, Langage récursif, Logique mathématique, Machine de Turing, Mathématiques, Pierre Wolper, Plus grand commun diviseur, Principe du tiers exclu, Problème de décision, Problème de l'arrêt, Programmation informatique, Récursivement énumérable, Réentrance, Routine (informatique), Stephen Cole Kleene, Thèse de Church, Théorème de récursion de Kleene, Théorème du point fixe de Kleene, Théorie de la calculabilité, Thread safety, Transparence référentielle, Uplet.
Algorithme récursif
Un algorithme récursif est un algorithme qui résout un problème en calculant des solutions d'instances plus petites du même problème.
Nouveau!!: Fonction récursive et Algorithme récursif · Voir plus »
Codage de Gödel
En logique mathématique, un codage de Gödel (ou numérotation de Gödel) est une fonction qui attribue à chaque symbole et formule bien-formée de certains langages formels un entier naturel unique, appelé son code de Gödel, ou numéro de Gödel.
Nouveau!!: Fonction récursive et Codage de Gödel · Voir plus »
Conjecture de Goldbach
La conjecture de Goldbach est l'assertion mathématique qui s’énonce comme suit: Formulée en 1742 par Christian Goldbach, c’est l’un des plus vieux problèmes non résolus de la théorie des nombres et des mathématiques.
Nouveau!!: Fonction récursive et Conjecture de Goldbach · Voir plus »
Décidabilité
En logique mathématique, le terme décidabilité recouvre deux concepts liés: la décidabilité logique et la décidabilité ''algorithmique''.
Nouveau!!: Fonction récursive et Décidabilité · Voir plus »
Définition par récurrence
fractales, cette courbe est définie par récurrence. En mathématiques, on parle de définition par récurrence pour une suite, c'est-à-dire une fonction définie sur les entiers positifs et à valeurs dans un ensemble donné.
Nouveau!!: Fonction récursive et Définition par récurrence · Voir plus »
Effet de bord (informatique)
En informatique, une fonction est dite à effet de bord (traduction mot à mot de l'anglais side effect, dont le sens est plus proche deffet secondaire) si elle modifie un état en dehors de son environnement local, c'est-à-dire a une interaction observable avec le monde extérieur autre que retourner une valeur.
Nouveau!!: Fonction récursive et Effet de bord (informatique) · Voir plus »
Ensemble récursif
En théorie de la calculabilité, un ensemble récursif ou ensemble décidable est un ensemble d'entiers (ou d'éléments facilement codables dans les entiers) dont la fonction caractéristique est une fonction récursive au sens de la logique mathématique.
Nouveau!!: Fonction récursive et Ensemble récursif · Voir plus »
Fonction caractéristique (théorie des ensembles)
En mathématiques, une fonction caractéristique, ou fonction indicatrice, est une fonction définie sur un ensemble E qui explicite l’appartenance ou non à un sous-ensemble F de E de tout élément de E. Formellement, la fonction caractéristique d’un sous-ensemble F d’un ensemble E est une fonction: \begin \chi_F: E & \longrightarrow & \ \\ x & \longmapsto & \left\.
Nouveau!!: Fonction récursive et Fonction caractéristique (théorie des ensembles) · Voir plus »
Fonction constante
Graphique représentant la fonction constante f(x).
Nouveau!!: Fonction récursive et Fonction constante · Voir plus »
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.
Nouveau!!: Fonction récursive et Fonction d'Ackermann · Voir plus »
Fonction déterministe
En informatique, une fonction déterministe est une fonction qui pour le même argument renverra toujours le même résultat.
Nouveau!!: Fonction récursive et Fonction déterministe · Voir plus »
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).
Nouveau!!: Fonction récursive et Fonction de Sudan · Voir plus »
Fonction pure
En programmation informatique, une fonction pure est une fonction qui possède les propriétés suivantes.
Nouveau!!: Fonction récursive et Fonction pure · Voir plus »
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.
Nouveau!!: Fonction récursive et Fonction récursive primitive · Voir plus »
Fonction semi-calculable
En informatique théorique, les fonctions semi-calculables ou fonctions partielles récursives sont les fonctions calculables par une machine de Turing ou tout autre système de programmation Turing-complet.
Nouveau!!: Fonction récursive et Fonction semi-calculable · Voir plus »
Fonction totale
En mathématiques, une fonction totale est une fonction pour laquelle l'ensemble de départ correspond au domaine de définition.
Nouveau!!: Fonction récursive et Fonction totale · Voir plus »
Idempotence
En mathématiques et en informatique, l'idempotence signifie qu'une opération a le même effet qu'on l'applique une ou plusieurs fois.
Nouveau!!: Fonction récursive et Idempotence · Voir plus »
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.
Nouveau!!: Fonction récursive et Informatique · Voir plus »
Jacques Herbrand
Jacques Herbrand, né à Paris le et mort dans un accident de montagne à La Bérarde en Oisans (Isère) le, est un mathématicien et logicien français.
Nouveau!!: Fonction récursive et Jacques Herbrand · Voir plus »
Kurt Gödel
Kurt Gödel, né le à Brünn et mort le à Princeton (New Jersey), est un logicien et mathématicien autrichien naturalisé américain.
Nouveau!!: Fonction récursive et Kurt Gödel · Voir plus »
Lambda-calcul
Le lambda-calcul (ou λ-calcul) est un système formel inventé par Alonzo Church dans les années 1930, qui fonde les concepts de fonction et d'application.
Nouveau!!: Fonction récursive et Lambda-calcul · Voir plus »
Langage formel
Un langage formel, en mathématiques, en informatique et en linguistique, est un ensemble de mots.
Nouveau!!: Fonction récursive et Langage formel · Voir plus »
Langage récursif
En mathématiques, en logique et en informatique, un langage récursif est un type de langage formel qui est aussi appelé récursif, décidable, ou Turing-decidable.
Nouveau!!: Fonction récursive et Langage récursif · Voir plus »
Logique mathématique
La logique mathématique ou métamathématique est une discipline des mathématiques introduite à la fin du, qui s'est donné comme objet l'étude des mathématiques en tant que langage.
Nouveau!!: Fonction récursive et Logique mathématique · Voir plus »
Machine de Turing
En informatique théorique, une machine de Turing est un modèle abstrait du fonctionnement des appareils mécaniques de calcul, tel un ordinateur.
Nouveau!!: Fonction récursive et Machine de Turing · Voir plus »
Mathématiques
Les mathématiques (ou la mathématique) sont un ensemble de connaissances abstraites résultant de raisonnements logiques appliqués à des objets divers tels que les ensembles mathématiques, les nombres, les formes, les structures, les transformations; ainsi qu'aux relations et opérations mathématiques qui existent entre ces objets.
Nouveau!!: Fonction récursive et Mathématiques · Voir plus »
Pierre Wolper
Pierre Wolper, né le à Liège, est un informaticien belge.
Nouveau!!: Fonction récursive et Pierre Wolper · Voir plus »
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.
Nouveau!!: Fonction récursive et Plus grand commun diviseur · Voir plus »
Principe du tiers exclu
En logique formelle, le principe du tiers exclu (ou "principium medii exclusi" ou " tertium non datur", ou simplement le « tiers exclu ») énonce qu'ou bien une proposition est vraie, ou bien sa négation est vraie.
Nouveau!!: Fonction récursive et Principe du tiers exclu · Voir plus »
Problème de décision
En informatique théorique, un problème de décision est une question mathématique dont la réponse est soit « oui », soit « non ».
Nouveau!!: Fonction récursive et Problème de décision · Voir plus »
Problème de l'arrêt
L'animation illustre une machine impossible: il n'y a pas de machine qui lit n'importe quel code source d'un programme et dit si son exécution termine ou non. En théorie de la calculabilité, le problème de l'arrêt est le problème de décision qui détermine, à partir d'une description d'un programme informatique, et d'une entrée, si le programme s'arrête avec cette entrée ou non.
Nouveau!!: Fonction récursive et Problème de l'arrêt · Voir plus »
Programmation informatique
Liste d'instructions sur le Commodore 64 La programmation, appelée aussi codage dans le domaine informatique, désigne l'ensemble des activités qui permettent l'écriture des programmes informatiques.
Nouveau!!: Fonction récursive et Programmation informatique · Voir plus »
Récursivement énumérable
En théorie de la calculabilité, un ensemble d'entiers naturels est récursivement énumérable ou semi-décidable si.
Nouveau!!: Fonction récursive et Récursivement énumérable · Voir plus »
Réentrance
En informatique, la réentrance est la propriété pour une fonction d'être utilisable simultanément par plusieurs tâches utilisatrices.
Nouveau!!: Fonction récursive et Réentrance · Voir plus »
Routine (informatique)
En informatique, une routine est une entité informatique qui encapsule une portion de code (une séquence d'instructions) effectuant un traitement spécifique bien identifié (asservissement, tâche, calcul) relativement indépendant du reste du programme, et qui peut être réutilisé dans le même programme, ou dans un autre.
Nouveau!!: Fonction récursive et Routine (informatique) · Voir plus »
Stephen Cole Kleene
Stephen Cole Kleene, né le à Hartford (Connecticut) et mort le à Madison (Wisconsin), est un mathématicien et logicien américain.
Nouveau!!: Fonction récursive et Stephen Cole Kleene · Voir plus »
Thèse de Church
La thèse de Church est une thèse concernant la définition de la notion de calculabilité.
Nouveau!!: Fonction récursive et Thèse de Church · Voir plus »
Théorème de récursion de Kleene
En théorie de la calculabilité, plusieurs théorèmes dus à Kleene sont appelés théorèmes de la récursion.
Nouveau!!: Fonction récursive et Théorème de récursion de Kleene · Voir plus »
Théorème du point fixe de Kleene
En mathématiques, dans le domaine de la théorie des ordres, le théorème du point fixe de Kleene s'énonce comme suit: C'est donc un analogue, pour les ordres partiels complets, du théorème de Knaster-Tarski qui, lui, concerne les treillis complets.
Nouveau!!: Fonction récursive et Théorème du point fixe de Kleene · Voir plus »
Théorie de la calculabilité
La théorie de la calculabilité (appelée aussi parfois théorie de la récursion) est un domaine de la logique mathématique et de l'informatique théorique.
Nouveau!!: Fonction récursive et Théorie de la calculabilité · Voir plus »
Thread safety
La thread safety d'un code (qu'on appelle alors « code thread-safe ») est la propriété de celui-ci associée au fait qu'il est capable de fonctionner correctement lorsqu'il est exécuté simultanément au sein du même espace d'adressage par plusieurs threads.
Nouveau!!: Fonction récursive et Thread safety · Voir plus »
Transparence référentielle
La transparence référentielle est une propriété des expressions d'un langage de programmation qui fait qu'une expression peut être remplacée par sa valeur sans changer le comportement du programme.
Nouveau!!: Fonction récursive et Transparence référentielle · Voir plus »
Uplet
Coordonnées XYZ. Basé sur le travail d'InductiveLoad En mathématiques, un uplet (désigné aussi par liste, famille finie, ou suite finie) est une collection ordonnée finie d'objets.
Nouveau!!: Fonction récursive et Uplet · Voir plus »
Redirections ici:
Fonction calculable, Fonctions calculables.
