portée de calcul
1CALCUL INFINITÉSIMAL - Histoire — L’expression «calcul infinitésimal» désigne habituellement l’ensemble des notations et des méthodes fondamentales du calcul différentiel, du calcul intégral et du calcul des variations, tel qu’il a été mis au point au cours des XVIIe et XVIIIe… …
2Portee (balistique) — Portée (balistique) Pour les articles homonymes, voir Portée. Portée d d un projectile lancé depuis une hauteur y0 avec un angle de θ à une vitesse ini …
3Portée d'un missile — Portée (balistique) Pour les articles homonymes, voir Portée. Portée d d un projectile lancé depuis une hauteur y0 avec un angle de θ à une vitesse ini …
4Calcul quantique — Calculateur quantique Cet article fait partie de la série Mécanique quantique Postulats de la mécanique quantique Histoire de …
5Calcul de classement de tennis — Tennis  Pour les chaussures de sport appelées tennis, voir Chaussure de sport. Tennis Fédération internationale …
6Portée (balistique) — Pour les articles homonymes, voir Portée. Portée d d un projectile lancé depuis une hauteur y0 avec un angle de θ à une vitesse initiale v. La portée d un …
7Portée (architecture) — croquis schématique En architecture et dans tous les domaines où le calcul des structures intervient (BTP), la portée désigne la distance qui sépare deux systèmes structurels (primaires) destinés à offrir un appui à un autre système structurel… …
8Lambda-Calcul — « La notion de λ définissabilité fut la première de ce qui est accepté maintenant comme l équivalent exact des descriptions mathématiques pour lesquelles des algorithmes existent. »  Stephen Kleene, in Origins of Recursive Function …
9Lambda-calcul — Le lambda calcul (ou λ calcul) est un système formel inventé par Alonzo Church dans les années 1930, qui fonde les concepts de fonction et d application. Il a été le premier formalisme utilisé pour définir et caractériser les fonctions récursives …
10Lambda calcul — « La notion de λ définissabilité fut la première de ce qui est accepté maintenant comme l équivalent exact des descriptions mathématiques pour lesquelles des algorithmes existent. »  Stephen Kleene, in Origins of Recursive Function …