Résultats de la recherche
Aller à la navigation
Aller à la recherche
Correspondances dans les titres des pages
- {{voir homonymes|Méthode}} En vérification formelle, on utilise des valeurs symboliques et on applique les règles qui régissent ...15 kio (2 442 mots) - 13 mars 2025 à 21:02
Correspondances dans le texte des pages
- == Définition formelle == [[Catégorie:Méthode formelle]] ...2 kio (356 mots) - 7 mars 2016 à 20:30
- == Définition formelle == ...16-10-18}}</ref>. Ce qui signifie qu'il existe des algorithmes, comme la [[méthode des tableaux]], permettant de décider en un nombre fini d'étapes si une tel ...3 kio (490 mots) - 24 septembre 2024 à 01:58
- == Définition formelle == [[Catégorie:Logique formelle]] ...5 kio (802 mots) - 15 janvier 2025 à 07:54
- {{Infobox Méthode scientifique}} == Présentation formelle == ...4 kio (606 mots) - 12 février 2024 à 11:37
- == Définition formelle == ...ération de dérivation est de cette forme et définit donc un vecteur. Cette méthode permet d'identifier les vecteurs tangents à ''M'' au point ''p'' avec les d ...4 kio (730 mots) - 4 octobre 2021 à 21:32
- ...mabilité des [[Matrice (mathématiques)|matrices]] qui sont régulières. Une méthode de sommabilité de matrice régulière est une [[transformation de suite]] lin ...N}}</math> avec des coefficients [[Nombre complexe|complexes]] définit une méthode de sommabilité de matrice régulière [[si et seulement si]] elle satisfait t ...8 kio (1 178 mots) - 3 janvier 2025 à 18:38
- {{Infobox Méthode scientifique}} == Approche plus formelle == ...5 kio (724 mots) - 16 avril 2024 à 16:04
- Un '''intégrateur symplectique''' est une méthode numérique de résolution approchée des équations de la [[mécanique hamiltoni On voudrait connaître la solution formelle au [[système intégrable]] <math>x(t) =\exp{L t} x(0)</math>. ...4 kio (646 mots) - 7 septembre 2024 à 10:31
- {{Infobox Méthode scientifique}} == Définition formelle == ...5 kio (886 mots) - 26 janvier 2024 à 12:13
- ...'''fonctions d'Argyris''' (ou '''éléments d'Argyris''') sont un outil en [[Méthode des éléments finis|méthodes des éléments finis]]. Elles sont utilisées pour === Approche formelle === ...6 kio (948 mots) - 30 décembre 2021 à 16:51
- [[Catégorie:Méthode formelle]] ...2 kio (354 mots) - 19 avril 2022 à 13:25
- ...e de propriétés de programmes récursifs, et notamment de leur vérification formelle. Avec la [[fonction de Takeuchi]], elle est un exemple amplement repris dan ...thy|1970}}.</ref>, qui sont les prémices de la recherche sur les [[Méthode formelle (informatique)|méthodes formelles de vérification de programmes]]. La {{nob ...7 kio (1 107 mots) - 29 décembre 2024 à 15:16
- [[Catégorie:Méthode formelle]] ...2 kio (407 mots) - 2 avril 2013 à 08:04
- une [[série formelle]] de la variable {{math|''z''}}. Une méthode de sommation étroitement liée, aussi appelé sommation de Mittag-Leffler, es ...2 kio (354 mots) - 16 août 2024 à 02:29
- ...le (Archimède)|La Quadrature de la parabole]]''.</ref>. On peut voir cette méthode comme un ancêtre du [[calcul intégral]]. === Définition formelle === ...10 kio (1 607 mots) - 19 février 2025 à 23:55
- Soit {{math|''y''}} la [[série formelle]] des puissances de {{math|''z''}} : ...dans de nombreux cas où cette dernière ne l'est pas ; il s'agit donc d'une méthode de sommation « régulière » des [[série divergente|séries divergentes]], plu ...5 kio (843 mots) - 13 juillet 2024 à 18:31
- ...des revenus au sein d'une population. D'une manière plus générale et plus formelle, c'est un des paramètres de la [[Loi de Pareto (probabilités)|loi de Pareto ...x de richesse élevés. Ainsi le cabinet de conseil Cap Gemini utilise cette méthode pour son étude annuelle [[World Wealth Report]]<ref>Le World Wealth Report ...2 kio (385 mots) - 17 juin 2023 à 00:15
- {{voir homonymes|Méthode}} En vérification formelle, on utilise des valeurs symboliques et on applique les règles qui régissent ...15 kio (2 442 mots) - 13 mars 2025 à 21:02
- ...attendu du programme considéré. Une telle définition autorise une analyse formelle du langage, permettant l'étude de [[Relation binaire|relations]] entre les [[Catégorie:Méthode formelle]] ...5 kio (793 mots) - 21 décembre 2023 à 21:56
- ...intégration (mathématiques)|intégrale]] de grandeurs continues. L'analogie formelle entre les deux domaines permet de faire passer des idées intéressantes de l == Comparaison formelle == ...10 kio (1 836 mots) - 26 juillet 2024 à 14:50