PONS OpenDict
Deseja acrescentar uma palavra, uma frase ou uma tradução?
Envie-nos um novo registo para o PONS OpenDict. Os projetos apresentados são analisados pela equipa editorial da PONS e incluídos nos resultados em conformidade.
Exemplos unilingues (não verificados pela redação)
On peut alors caractériser la convexité-fermeture de (f ∘ λ) {displaystyle (fcirc lambda)} à partir de celle de f {displaystyle f}.
fr.wikipedia.org En pratique, le lasso est testé pour différentes valeurs de λ {displaystyle lambda }.
fr.wikipedia.org À gauche nous avons dessiné le diagramme de radiation d'un dipôle λ 2 {displaystyle scriptstyle {lambda over 2}}.
fr.wikipedia.org La programmation fonctionnelle se base sur plusieurs principes comme : l’immutabilité, les fonctions pures (qui ne dépendent pas de l’état de la machine) et les lambda-calcul.
fr.wikipedia.org Coq est fondé sur le calcul des constructions, une théorie des types d'ordre supérieur, et son langage de spécification est une forme de lambda-calcul typé.
fr.wikipedia.org