Résultats de la recherche

...) fonctions mathématiques ou programmatiques sont définies l'une en termes de l'autre. En informatique, cependant, on utilise plus souvent le terme "'''r <!-- Dans cette example on ne trouve pas de trace de récursion mutuelle?! --> ...

...û à [[Stephen Cole Kleene|Stephen Kleene]], il est aussi connu sous le nom de '''théorème ''s_mn'''''<ref>{{Ouvrage|auteur1=René Cori|auteur2=D === Pour une énumération de fonction récursive === ...

...implantation des fonctions récursives par le compilateur d'un [[langage de programmation]]. La définition de la fonction tak se fait de façon récursive : ...

{{Article général|Sémantique des langages de programmation}} ...athématiques|mathématiquement]] parlant (voir [[Sémantique des langages de programmation]]). ...

...' (des [[Langage de programmation|langages de programmation]]) est l’étude de la signification des [[programmes informatiques]] vus en tant qu’objets [[m ...], la [[sémantique]], appliquée aux [[Langage de programmation|langages de programmation]], désigne le lien entre un [[Signifiance (linguistique)|signifiant]], le ...

...|fonctionnelle]] et [[Programmation impérative|impérative]], mais pas la [[programmation orientée objet]] proposée par [[OCaml]], son successeur. ...p://www.education.gouv.fr/pid285/bulletin_officiel.html?cid_bo=123904 Note de service ESRS1732186N du 27 novembre 2017]</ref>. Il est désormais remplacé ...

...fixes, c'est-à-dire où l'opérateur précède les arguments. Il porte le nom de [[Jan Łukasiewicz]]. ...nt des mots du langage de Łukasiewicz. Par exemple, on écrit ×5+34 au lieu de 5 × (3 + 4). ...

...ncien|ανα-}} = vers le haut; [[morphisme]] = forme) est un concept de la [[programmation fonctionnelle]] fondé sur la [[théorie des catégories]]. == L'anamorphisme en programmation fonctionnelle == ...

...liser pour des applications pratiques. Ainsi, la plupart des [[langages de programmation]] sont des langages algébriques déterministes. * Le langage <math>\{a^nb^n\mid n\ge0\}</math> est déterministe. ...

[[Fichier:Terminal and non-terminal symbols example.png|vignette|Exemple de symboles terminaux et non terminaux.]] ...mboles terminaux et non terminaux''' les symboles utilisés dans les règles de production d'une [[grammaire formelle]]. Les '''symboles terminaux''' et le ...

...misations ([[Déforestation (informatique)|déforestation]], [[mémoïsation]] de valeurs, [[Parallélisme (informatique)|parallélisation]], {{Lien|langue=en| * un constructeur de type appelé type monadique, qui associe au type <math>t</math> le type <mat ...

...ète le nombre de décisions d'un [[algorithme]] en comptabilisant le nombre de « chemins » linéairement indépendants au travers d'un programme représenté ...uré signifie en particulier « avec un seul point d'entrée et un seul point de sortie ».</ref> est définie<ref>McCabe (1976), p. 314.</ref> par : ...

...systèmes de transition d'états]], associant les systèmes qui se comportent de la même façon au sens qu'un des systèmes simule l'autre et vice-versa. ...l'autre. Dans cette optique, les systèmes ne peuvent être distingués l'un de l'autre par un observateur. ...

{{Confusion|Théorème de Kleene|Théorème du point fixe de Kleene}} ...ils sont nommés également '''théorèmes du point fixe de Kleene'''. Ils ont de nombreuses applications. ...

...ues)|logique]], en particulier en [[calcul propositionnel]], une '''clause de Horn''' est une [[Clause (logique)|clause]] comportant au plus un [[littéra Il existe donc trois types de clauses de Horn : ...

...té créé avec l'aide du livre « Discrete Mathematics and its Applications » de Kenneth H. Rosen Seventh.]] ...ir une [[syntaxe]] et donc un [[langage formel]], c'est-à-dire un ensemble de mots ''admissibles'' sur un alphabet donné. ...

Le '''type vide''' est en [[théorie des types]] un type qui ne comporte pas de valeurs. On l'abrège communément par '''bot''' (de ''{{lang|en|bottom type}}''), le symbole (<math>\bot</math>) ou par l'appro ...

...uvant être décrites par un [[Algorithmique|algorithme]] (ou tout mécanisme de calcul). ...ant <math>f(y,x_1,...,x_n)</math>. Si un tel ''y'' n'existe pas, le calcul de la fonction <math>\mu</math> ne se termine pas. ...

...en fonction du nombre de processeurs l'exécutant, pour différentes valeurs de ''p''.]] ...formatique)|accélération]] théorique en [[Latence (informatique)|latence]] de l'exécution d'une tâche ''à temps d'exécution constant'' que l'on peut atte ...

...i est syntaxiquement bien formée, mais n'a pas de sens (exemple historique de [[Noam Chomsky]], 1957).]] ...cet alphabet est fini. La ''théorie des langages formels'' a pour objectif de décrire les langages formels. ...