Résultats de la recherche

En théorie des [[Langage fonctionnel|langages fonctionnels]] typés, une '''monade''' est un [[patron ...xistant dans un objet portant plus d'information. Par exemple en [[Haskell|langage Haskell]], une monade de type <math>Maybe(t)</math> est ou bien un objet de ...

..., sous la forme de ''struct'' ([[C (langage)|C]]) ou ''record'' ([[Pascal (langage)|Pascal]]). ...

* Depuis les débuts du langage [[Fortran]], <code>i</code> est fréquemment utilisé en [[programmation info * '''i''' est l'impératif présent singulier du verbe '''''ire''''' (eo, is, ire, ivi, itum) qui signi ...

...tructions de base d'un [[Programmation impérative|langage de programmation impératif]] et des [[inférence|règles d'inférence]] pour les compositions d'instructi ...uence (ou de l'affaiblissement) définie indépendamment des instructions du langage. ...

...eurs variables (ce qui est possible dans certains langages comme [[Python (langage)|Python]], [[Ruby]], etc.). L'affectation est notée « := ». Pour les [[Langage de programmation|langages de programmation]] qui ne disposent pas d'une tel ...

...u'il soit traduisible en n'importe quel [[Programmation impérative|langage impératif]]. La liste à trier est de taille ''n''. Pour la concision et l'efficacité ...

{{Infobox Langage de programmation}} ...formels de [[C++98]] et [[C++03]]. C++11 introduit plusieurs nouveautés au langage initial, ainsi que de nouvelles fonctionnalités à la [[bibliothèque standar ...

{{Confusion|texte=Ne doit pas être confondu avec [[Langage de programmation par adresse]], aussi abrévié APL.}} {{Infobox Langage de programmation ...

...Cellule de commutation|cellules de commutation]]. Il est à noter qu'il est impératif que la fréquence des harmoniques ainsi ajoutés soit de {{nobr|rang 3}} (ou ...ntation sans interruption|alimentations sans interruption]] (ASI). Dans le langage courant, le terme « onduleur » est d'ailleurs fréquemment employé pour dési ...

* la simplicité de programmation en quelques lignes de code, dans tout langage évolué * l'identité des résultats quel que soit le langage utilisé ([[Fortran|FORTRAN]], C, [[JavaScript|Javascript]]...) ...

...rot et Jean-Marie Schaeffer, ''Dictionnaire encyclopédique des sciences du langage'', Seuil, 1995 {{ISBN|2-02-038181-8}}.</ref>, sa définition linguistique fa ...e la langue appartient à l'un des quatre types : déclaratif, interrogatif, impératif ou exclamatif, et à un seul ; et à plusieurs ''formes'' : affirmative ou né ...

...iques. On ne peut comprendre ce livre que si on en apprend tout d'abord le langage, et l'alphabet dans lequel il est rédigé. Les caractères en sont les triang ...iques. On ne peut comprendre ce livre que si on en apprend tout d'abord le langage, et l'alphabet dans lequel il est rédigé. Les caractères en sont les triang ...

...t]]"), en réponse à {{Lien|langue=en|trad=Condemnations of 1210–1277|fr=l'impératif de l'église catholique de 1277}}, afin de résoudre les conflits de pensée e ...que l'essence de l'infini déborde toute tentative de le renfermer dans le langage, mais aussi que la mesure dans la positivité est essentielle à l'infini<ref ...

...très distinctes de ''déductibilité'' (métalangage) et d' ''implication'' (langage) que 2500 ans après Aristote, Frege fut le premier à percevoir (et qui, mêm ...hématiques: un langage graphique bidimensionnel, celui des formules, et un langage unidimensionnel sonore ou typographique, celui du discours. Mon expérience ...

...son matériel doit être mobile et apte à suivre des opérations mobiles. Cet impératif a tendance à lui faire adopter des pièces plus légères et moins puissantes ...clenche le tir (elle est communément appelée, à tort, « gâchette » dans le langage populaire). Le tireur appuie en fait sur la queue de détente. En règle géné ...

...de la constante auxiliaire dans le cas qui nous occupe. (Je vais mettre en langage plus formel le raisonnement que j'ai tenu plus haut avec des "choisissons". ...la Hilbert]] appelle le "théorème de la déduction" est le "métathéorème" (langage de G. Tourlakis) qui légitime ce que Bourbaki appelle la méthode de l'hypot ...

...s beaucoup de cas (comme celui des structures uniformes), c'est un abus de langage non dangereux, parce que si À et B sont des sous-ensembles de E, ce n'est q ...impératif logique à choisir un modèle plus simple, mais parce qu’il y a un impératif pratique de survie (et espérons, de vie plus épanouissante). La vie est cou ...

...inale=es|prénom1=Fernando|nom1=Corbalán|titre=Le nombre d'or|sous-titre=Le langage mathématique de la beauté|lieu=Paris|éditeur={{Lien|lang=es|trad=RBA|Groupe ...s de reconstruction sont vastes et la rationalisation de la production, un impératif. L'auteur parle de ''machine à habiter''. Cette démarche, vise aussi un obj ...

...Citation|démonstrations purement algèbrique}}. Il dit : {{Citation|dans un langage dépouillé et général, immédiatement traduisible en symboles algébriques}}, ...el. C'est un domaine où l'induction se fait courrament sur les termes d'un langage ...

...lité]] qui ont rapport avec les [[automate fini|automates finis]] versus [[langage rationnel]] ou [[grammaire générative]]. Peut-être ont-ils conçus en vu de :::: J'ai rajouté la [[:Catégorie:Langage formel]]. Le mieux serait de regarder qui a participé aux articles (qui ont ...