Résultats de la recherche
Aller à la navigation
Aller à la recherche
Correspondances dans les titres des pages
- En [[mathématiques]], un '''calcul fonctionnel''' est une théorie permettant d'étendre à des [[opérateur (math ...rolongeant ainsi la fonction ''f''(''x'') = ''x''<sup>2</sup>. L'idée d'un calcul fonctionnel est de donner des règles systématiques justifiant cet abus de n ...4 kio (604 mots) - 16 mai 2024 à 12:21
- ...traditionnels de l'analyse, l'autre étant le [[Intégration (mathématiques)|calcul intégral]], utilisé notamment pour calculer l'[[Aire (géométrie)|aire]] sou ...équations différentielles]]{{etc.}}) l'un des principaux objets d'étude du calcul différentiel. Géométriquement, la dérivée en un point d'une fonction à vale ...10 kio (1 607 mots) - 19 février 2025 à 23:55
- == Calcul de cylindrée de [[pompe à engrenages]] == ==Calcul de tuyauterie== ...4 kio (650 mots) - 7 mars 2022 à 14:50
- {{homon|Calcul symbolique (homonymie)}} ...s également employé le terme de ''calcul symbolique'' pour désigner le [[calcul opérationnel]] de [[Oliver Heaviside|Heaviside]], mais les deux méthodes n' ...8 kio (1 291 mots) - 18 novembre 2024 à 20:53
- Le '''lambda-calcul''' (ou '''λ-calcul''') est un [[système formel]] inventé par [[Alonzo Church]] dans les [[anné ...alcul peut être [[Lambda-calcul simplement typé|''typé'']] ou [[#Le lambda-calcul non typ.C3.A9|non]]. ...41 kio (6 987 mots) - 2 février 2025 à 09:55
- ...978-3-319-10575-8_26|consulté le=2018-09-20|passage=871–919}}</ref>, le mu-calcul est une des logiques les plus importantes pour la vérification de modèles ; ...xte=CTL}} ou [[Logique temporelle linéaire|LTL]]) sont des fragments du mu-calcul. ...16 kio (2 544 mots) - 11 avril 2023 à 21:03
- ...s, et des opérations. La grande différence entre le calcul numérique et le calcul algébrique est que le premier a pour but de ne donner qu'un résultat partic Par exemple, dans le calcul de l'expression :<br /> ...3 kio (535 mots) - 30 décembre 2022 à 14:47
- ...en [[Analyse fonctionnelle (mathématiques)|analyse fonctionnelle]], le '''calcul opérationnel''' repose essentiellement sur un astucieux changement de varia L'hypothèse fondamentale du calcul opérationnel est que toutes fonctions d'origine ''f''(''t'') ont une valeur ...11 kio (1 859 mots) - 15 mai 2023 à 17:13
- Le '''calcul {{page h'|stochastique}}''' est l’étude des phénomènes aléatoires dépendant Le domaine d’application du calcul stochastique comprend la [[mécanique quantique]], le [[traitement du signal ...14 kio (2 263 mots) - 17 mars 2025 à 03:35
- ...nute]] en heure) ou jusqu'à 24 ([[heure]] en jour). De plus, l'habitude du calcul en système décimal avec virgule oblige parfois à des conversions pour reven ...tions de durée se continue durant le collège et c'est en quatrième que le calcul de conversion de vitesse est abordé<ref>[http://media.education.gouv.fr/fil ...8 kio (1 210 mots) - 14 octobre 2023 à 16:18
- Le '''calcul infinitésimal''' (ou '''calcul différentiel et intégral''') est une branche des [[mathématiques]], dévelop * Le [[différentielle|'''calcul différentiel''']], qui établit une relation entre les variations de plusieu ...12 kio (1 964 mots) - 22 novembre 2023 à 14:21
- ...que parallèle et distribuée un rôle similaire à celui du [[lambda-calcul|λ-calcul]] dans l'informatique classique. ...pas à permettre de construire des programmes exécutables. L'objectif du π-calcul est de permettre d'étudier les concepts importants en programmation parallè ...19 kio (2 873 mots) - 26 mars 2023 à 04:21
- Un '''calcul parasitaire''' est une forme de [[calcul distribué]] qui est réalisé à l'insu de personnes possédant des ressources ...al [[Nature (revue)|Nature]] démontre l'utilisation que l'on peut faire du calcul parasitaire pour trouver un résultat aux problèmes [[problème SAT|3-SAT]] ( ...2 kio (310 mots) - 28 novembre 2017 à 08:06
- ...jours l'objet de recherches ; la systématisation et la justification de ce calcul est l'objet du [[Problèmes de Hilbert#Quinzi%C3%A8me probl%C3%A8me|quinzièm ...ation, c'est la [[théorie de l'intersection]] associée qu'on appelle le '''calcul de Schubert'''. Pour une suite donnée <math>\mathbb{a} = (a_1,\ldots, a_j, ...14 kio (2 140 mots) - 3 mars 2025 à 17:50
- ...métrie différentielle]], le '''calcul différentiel extérieur''' désigne le calcul portant sur les [[Forme différentielle|formes différentielles]] ouverts de ...3 kio (552 mots) - 18 juin 2019 à 09:35
- [[Image:Sliderule.PickettN902T.agr.jpg|thumb|upright=1.5|Règle à calcul scolaire de {{unité|10|pouces}} (Pickett N902-T simplex trig).]] ...ef>[http://haubans-maths.chez-alice.fr/documents/regl_cal.htm Les règles à calcul], sur le site haubans-maths.chez-alice.fr.</ref> courants. ...25 kio (4 029 mots) - 20 août 2024 à 16:27
- ...de l'anglais ''{{Langue|en|calculus of constructions}}'') est un [[lambda-calcul]] typé d'ordre supérieur dans lequel les [[Type (informatique)|types]] sont ...t être émulés via un [[catamorphisme]] polymorphe (comme dans les [[Lambda-calcul#Les_entiers|entiers de Church]]). ...7 kio (1 158 mots) - 14 mars 2025 à 10:26
- ...alyse]], le '''calcul fonctionnel holomorphe''' désigne l'application du [[calcul fonctionnel]] aux [[fonction holomorphe|fonctions holomorphes]], c'est-à-di ...carrée]] à coefficients complexes ; ce cas permet d'illustrer les idées du calcul fonctionnel, et sert souvent de motivation heuristique aux techniques d'ana ...32 kio (5 353 mots) - 5 juillet 2024 à 19:13
- ...La définition précise du concept de proposition est l'un des objectifs du calcul des propositions.</ref> et définit les lois formelles selon lesquelles les ...ore appelé ''logique des propositions'', ''logique propositionnelle'' ou ''calcul des énoncés''. ...47 kio (7 524 mots) - 25 décembre 2024 à 18:57
- [[Catégorie:Calcul stochastique]] ...13 kio (2 183 mots) - 18 février 2025 à 22:08
Correspondances dans le texte des pages
- == Calcul d'un ressort de compression == === Outils de calcul === ...1 kio (233 mots) - 22 février 2025 à 01:35
- == Calcul == ...971 octet (131 mots) - 20 avril 2021 à 22:43
- == Calcul du stock de sécurité == ...icles/Entrepot-magasin/Stock-securite-calcul.htm www.logistiqueconseil.org Calcul du stock de sécurité par la méthode de la loi normale avec variation de la ...2 kio (369 mots) - 16 novembre 2023 à 11:59
- ...iley, Borwein et Plouffe]]. Le projet utilisait des ressources de calcul [[calcul distribué|distribuées]] sur presque {{formatnum:2000}} ordinateurs. Le proj * le {{date-|30 août 1998}}, calcul du cinq billionième bit de pi (et des 76 bits suivants) ; ...2 kio (356 mots) - 24 mars 2020 à 17:16
- == Formule de calcul == ...1 kio (139 mots) - 25 avril 2024 à 15:25
- == Calcul du rapport interquartile == ...1 018 octet (142 mots) - 19 novembre 2020 à 15:38
- Il s'agit d'une convention élémentaire de calcul désignant la relation unissant deux flux financiers, et deux seulement. ''{ ==Calcul== ...2 kio (263 mots) - 19 septembre 2021 à 23:19
- Le calcul tient compte de l'âge, du niveau de revenu, de la composition des [[ménages Cet indice rentre dans le calcul du [[Zone de chalandise#Calcul|chiffre d'affaires potentiel]] d'une entreprise à partir de sa [[zone de ch ...2 kio (309 mots) - 27 mars 2023 à 11:30
- ...fuselage placée dans le prolongement de l'aile et prise en compte dans le calcul de la surface portante. == Calcul == ...1 kio (216 mots) - 21 février 2025 à 22:49
- == Calcul de l'interfrange == Alors, par un calcul géométrique non détaillé ici, on a : <math>\delta(M)=\frac{bx}{D}</math>. ...1 kio (234 mots) - 24 juin 2021 à 11:38
- ==Formule de calcul== ...1 kio (182 mots) - 25 avril 2024 à 15:25
- == Formule de calcul == ...1 kio (178 mots) - 16 mars 2023 à 23:07
- == Calcul == === Calcul du débit moyen annuel === ...3 kio (407 mots) - 15 septembre 2022 à 14:42
- Le moled est un élément essentiel du calcul du [[calendrier juif]]. Il est indispensable à la détermination du premier == Calcul du moled == ...2 kio (289 mots) - 23 janvier 2020 à 12:57
- == Calcul numérique == Le calcul d'une distance de Tchebychev ne fait intervenir que des soustractions, des ...2 kio (300 mots) - 26 décembre 2024 à 19:52
- == Calcul == ...e brute se distingue de la majoration du prix d'un produit par son mode de calcul ; par exemple, vendre 75 € une marchandise au coût de revient égal à 50 € p ...2 kio (264 mots) - 26 janvier 2025 à 20:46
- === Calcul du revenu marginal === ...1 kio (220 mots) - 17 mars 2025 à 15:50
- == Formule de calcul == ...1 kio (210 mots) - 2 août 2024 à 05:01
- ...ul des constructions]] apporte une généralisation par rapport au [[lambda-calcul simplement typé]] où un terme ne peut dépendre que d'un autre terme. ...1 kio (145 mots) - 23 juin 2024 à 18:22
- *le calcul de {{math|j{{3}}}} ramène par définition à {{math|j{{3}} {{=}} 1}}. == Application au calcul des racines cubiques == ...2 kio (258 mots) - 29 janvier 2025 à 21:51