Résultats de la recherche

{{ébauche|mathématiques|informatique}} En [[mathématiques]] et en [[programmation informatique]], une '''opération unaire''', aussi appelée une '''fonction monadique''', ...

...hématiques ou programmatiques sont définies l'une en termes de l'autre. En informatique, cependant, on utilise plus souvent le terme "'''récursivité croisée'''". == Informatique == ...

{{Ébauche|mathématiques|informatique}} ...ppelés [[Argument (informatique)|arguments]] ou [[paramètre (programmation informatique)|paramètres]]}}. ...

{{Ébauche|informatique théorique}} ...]], et en particulier en [[théorie de la calculabilité]], un '''système de programmation''' est une [[numérotation de Gödel]] de l'ensemble <math>\mathcal{T}</math> ...

...math>. La notion de <math>F</math>-coalgèbre possède des applications en [[informatique]], notamment pour l'[[évaluation paresseuse]], pour les [[structure de donn {{Portail|programmation informatique|informatique théorique}} ...

{{ébauche|mathématiques|informatique}} ...implantation des fonctions récursives par le compilateur d'un [[langage de programmation]]. ...

| langage de programmation = [[Python (langage)|Python]] ...atique]] sous environnement [[Python (langage)|python]] développé pour l'[[informatique quantique]] par la société [[Atos]] qui s'exécute sur le framework quantiq ...

...aux limites]]. Elle apparaît régulièrement en [[programmation informatique|programmation]] lorsqu'une [[Structure de contrôle#Boucles|boucle]] s'[[itération|itère]] == Sécurité informatique == ...

...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 == ...

...ection|« J# » redirige ici pour des raisons techniques. Pour le langage de programmation, voir {{nobr|[[J Sharp]]}}.}} == Informatique == ...

=== Pour un langage de programmation === Si <math>\varphi</math> est un [[langage de programmation acceptable]] alors il existe une [[fonction calculable]] <math>s~</math> te ...

...|fonctionnelle]] et [[Programmation impérative|impérative]], mais pas la [[programmation orientée objet]] proposée par [[OCaml]], son successeur. ...ftp://trf.education.gouv.fr/pub/edutel/bo/2004/hs3/annexe7.pdf Programme d'informatique en MPSI et MP], ''B.O. Hors série {{Numéro|3}} du 29 avril 2004, annexe VII ...

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

{{ébauche|informatique}} ...informatique)|déforestation]], [[mémoïsation]] de valeurs, [[Parallélisme (informatique)|parallélisation]], {{Lien|langue=en|trad=Strength reduction|fr=réduction f ...

...volume= 33|année= 1984 | pages= 139-174}}</ref> d'un ensemble de [[Donnée (informatique)|données]]<ref>{{Ouvrage|prénom1=Sébastien|nom1=Veigneau|titre=Approches im * [[Conteneur (informatique)|conteneur]] ...

{{Infobox Langage de programmation ...ur robot '''KUKA''', également connu sous le nom de KRL, est un langage de programmation propriétaire similaire à [[Pascal (langage)|Pascal]]. Il est utilisé pour p ...

{{Infobox Langage de programmation}} '''FAUST''' (acronyme anglais de Functional AUdio STream) est un [[langage de programmation]] [[Langage dédié|dédié]] [[purement fonctionnel]], conçu pour les applicat ...

..., la '''sémantique formelle''' (des [[Langage de programmation|langages de programmation]]) est l’étude de la signification des [[programmes informatiques]] vus en ...le lien entre un [[Signifiance (linguistique)|signifiant]], le [[Programme informatique|programme]], et un signifié, objet mathématique<ref>{{Lien web |langue= |pr ...

...ique se distingue de la construction la plus courante dans les langages de programmation qui est de définir les listes par énumération de ses éléments. En langage de programmation [[Haskell]], la syntaxe est la suivante : ...

== Informatique == * [[Alef (langage de programmation)|Alef]], [[langage de programmation]] ...