Forme normale (lambda-calcul)

Forme normale (lambda-calcul)
Page d'aide sur l'homonymie Pour les articles homonymes, voir Forme normale.

Un lambda-terme sous forme normale ne peut plus être β-réduit.


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Forme normale (lambda-calcul) de Wikipédia en français (auteurs)

Игры ⚽ Нужно сделать НИР?

Regardez d'autres dictionnaires:

  • Forme Normale (Lambda-calcul) — Pour les articles homonymes, voir Forme normale. Un lambda terme sous forme normale ne peut plus être β réduit. Voir aussi Dans le contexte des bases de données relationnelles, Formes normales. Ce document provient de « Forme normale (lambda… …   Wikipédia en Français

  • Forme Normale — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Forme normale (bases de données relationnelles) Forme normale (lambda calcul) En calcul des propositions: formes normales conjonctives et formes normales… …   Wikipédia en Français

  • Forme normale — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Forme normale (bases de données relationnelles) Forme normale (lambda calcul) En calcul des propositions : formes normales conjonctives et formes… …   Wikipédia en Français

  • Lambda-Calcul — « La notion de λ définissabilité fut la première de ce qui est accepté maintenant comme l équivalent exact des descriptions mathématiques pour lesquelles des algorithmes existent. »  Stephen Kleene, in Origins of Recursive Function …   Wikipédia en Français

  • Lambda calcul — « La notion de λ définissabilité fut la première de ce qui est accepté maintenant comme l équivalent exact des descriptions mathématiques pour lesquelles des algorithmes existent. »  Stephen Kleene, in Origins of Recursive Function …   Wikipédia en Français

  • 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. Il a été le premier formalisme utilisé pour définir et caractériser les fonctions récursives …   Wikipédia en Français

  • Forme normale de Chomsky — En informatique théorique, et notamment en théorie des langages, une grammaire algébrique est en forme normale de Chomsky si et seulement si toutes ses règles de production sont de la forme : ou ou où X,Y,Z sont des symboles non terminaux, a …   Wikipédia en Français

  • Λ-calcul — Lambda calcul « La notion de λ définissabilité fut la première de ce qui est accepté maintenant comme l équivalent exact des descriptions mathématiques pour lesquelles des algorithmes existent. »  Stephen Kleene, in Origins of… …   Wikipédia en Français

  • Calcul numérique d'une intégrale — En analyse numérique, il existe une vaste famille d’algorithmes dont le but principal est d’estimer la valeur numérique de l’intégrale définie sur un domaine particulier pour une fonction donnée (par exemple l’intégrale d’une fonction d’une… …   Wikipédia en Français

  • Calcul matriciel — Matrice (mathématiques) Pour les articles homonymes, voir Matrice. En mathématiques, les matrices servent à interpréter en termes calculatoire …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”