Résultats de la recherche
Aller à la navigation
Aller à la recherche
Correspondances dans les titres des pages
- {{Infobox Langage de programmation | date de première version = ...4 kio (524 mots) - 10 avril 2024 à 13:10
Correspondances dans le texte des pages
- En [[mathématiques]] et en [[programmation informatique]], une '''opération unaire''', aussi appelée une '''fonction m == Exemples en programmation == ...2 kio (294 mots) - 5 janvier 2024 à 18:41
- | nom = myQLM (langage AQASM) | date de première version = 2017 ...4 kio (441 mots) - 18 mars 2025 à 22:19
- ...nom1=Larousse|prénom1=Éditions|titre=Définitions : opérande - Dictionnaire de français Larousse|url=https://www.larousse.fr/dictionnaires/francais/op%C3% ...usuellement appelés [[Argument (informatique)|arguments]] ou [[paramètre (programmation informatique)|paramètres]]}}. ...2 kio (352 mots) - 24 décembre 2022 à 22:22
- ...) 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?! --> ...1 kio (207 mots) - 11 décembre 2020 à 13:34
- ...ection|« J# » redirige ici pour des raisons techniques. Pour le langage de programmation, voir {{nobr|[[J Sharp]]}}.}} ...J]]''', la {{10e}} [[lettre (écriture)|lettre]] et la {{7e}} [[consonne]] de l'[[alphabet latin]]. ...3 kio (392 mots) - 8 décembre 2024 à 08:31
- ...û à [[Stephen Cole Kleene|Stephen Kleene]], il est aussi connu sous le nom de '''théorème ''s<sub>mn</sub>'''''<ref>{{Ouvrage|auteur1=René Cori|auteur2=D === Pour une énumération de fonction récursive === ...3 kio (474 mots) - 4 octobre 2022 à 14:56
- Un '''encodage sémantique''' est une traduction entre deux [[langage formel|langages formels]]. ...our [[Objective Caml]], procèdent à des encodages entre divers langages de programmation. ...3 kio (463 mots) - 1 janvier 2020 à 23:07
- {{Infobox Langage de programmation | date de première version = ...4 kio (524 mots) - 10 avril 2024 à 13:10
- ...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 : ...2 kio (257 mots) - 11 février 2019 à 12:01
- {{Article général|Sémantique des langages de programmation}} ...athématiques|mathématiquement]] parlant (voir [[Sémantique des langages de programmation]]). ...5 kio (793 mots) - 21 décembre 2023 à 21:56
- {{Infobox Langage de programmation}} ...io ou les [[logiciels]]. Ce langage est développé par le [[Centre national de création musicale|GRAME]] depuis 2002, l'implémentation principale est un [ ...6 kio (783 mots) - 4 janvier 2024 à 15:18
- ...ection|« C# » redirige ici pour des raisons techniques. Pour le langage de programmation, voir {{nobr|[[C Sharp]]}}.}} {{Confusion|texte=Ne pas confondre avec [[С]], lettre de l'alphabet cyrillique}} ...4 kio (589 mots) - 11 décembre 2024 à 17:56
- ...' (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 ...7 kio (1 094 mots) - 25 août 2023 à 10:44
- ...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 == ...4 kio (607 mots) - 19 avril 2020 à 11:53
- {{Infobox Langage de programmation}} ...grammes écrits en SPL ressemble à une [[pièce de théâtre]]. Il est inspiré de langages comme le [[Malbolge]] ou le [[Brainfuck]] et doit son nom au [[dra ...5 kio (781 mots) - 7 octobre 2024 à 21:48
- ...|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é ...5 kio (779 mots) - 3 mars 2021 à 16:21
- ...es langages de programmation qui est de définir les listes par énumération de ses éléments. ...ntaxique offre des avantages de lisibilité et de concision et se rapproche de la notation utilisée en mathématiques : ...8 kio (1 275 mots) - 25 juillet 2023 à 11:36
- | bloc = Commandes C0 et latin de base ...nel|textes bi-directionnels]], il faut regarder les accolades dans le sens de la lecture : ...3 kio (539 mots) - 13 octobre 2024 à 17:34
- ...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). ...4 kio (699 mots) - 14 avril 2024 à 11:28
- [[Fichier:Polymorphism.png|vignette|Les quatre différents types de polymorphisme]] ...îne de caractères|chaînes de caractères]], etc. Il existe plusieurs sortes de polymorphismes fondamentalement différents : ...12 kio (1 656 mots) - 12 février 2025 à 09:55