Résultats de la recherche
Aller à la navigation
Aller à la recherche
Correspondances dans les titres des pages
- ...[système dynamique|systèmes dynamiques]], un '''système d'Anosov''' est un système ''hyperbolique'', qui présente une dynamique extrêmement ''[[théorie du cha === Notion de système dynamique différentiel === ...6 kio (866 mots) - 6 mai 2024 à 19:45
- ...ation binaire]] sur l'ensemble d'arguments. Concrètement, on représente un système d'argumentation au moyen d'un [[graphe orienté]] tel que les nœuds représen ...rgumentation_Framework.svg|thumb|left|upright=1|Le graphe correspondant au système d'argumentation <math>S</math>.]] ...18 kio (2 977 mots) - 3 mars 2025 à 10:01
- [[Fichier:Système équation.svg|vignette|Représentation graphique du système d'équation<math display="block"> ...eur à chacune de ces variables, de telle façon que toutes les équations du système soient satisfaites simultanément (s'il y a ''n'' inconnues, une solution es ...3 kio (521 mots) - 17 mars 2025 à 15:02
- [[Image:Intersecting Lines.svg|thumb|right|La solution au système d'équations linéaires {{nowrap|''x'' − ''y'' {{=}} −1}} et {{no ...[[algèbre linéaire]], un '''[[système d'équations]] linéaires''' est un [[système d'équations]] constitué d'[[Équation linéaire|équations linéaires]] qui por ...13 kio (2 081 mots) - 7 mars 2025 à 21:19
- En [[relativité générale]], le '''système d'unités géométriques''' est un [[système d'unités]] réduisant l'ensemble des [[grandeur physique|grandeurs physiques La raison d'être de ce système est de nature mathématique, la relativité générale pouvant être ainsi forma ...9 kio (1 421 mots) - 2 mai 2023 à 11:40
- ...toute une famille de systèmes d'unités électromagnétiques basés sur des [[Système CGS|unités cgs]] (centimètre-gramme-seconde). Il est aussi appelé '''unités [[Système international d'unités|Les unités SI]] sont à présent préférentiellement ut ...38 kio (5 984 mots) - 3 février 2025 à 19:57
- ...la [[théorie du contrôle]], un '''système d'ordre fractionnaire''' est un système dynamique qui peut être modélisé par une [[Analyse fractionnaire|équation d Un système dynamique général d'ordre fractionnaire peut s'écrire sous la forme suivant ...11 kio (1 785 mots) - 28 mai 2024 à 07:30
- Les '''unités atomiques''' (ua) forment un [[système d'unités]] très utilisé pour simplifier les calculs formels ou numériques e Dans un système d'unités atomiques, on a donc : ...7 kio (1 089 mots) - 1 mai 2022 à 13:55
- ...de la lumière]] <math>c</math> est une unité naturelle de [[vitesse]]. Un système d'unités purement naturel a toutes ses unités définies de cette façon, ce q Les trois unités de base d'un système naturel peuvent être notamment : ...6 kio (865 mots) - 13 février 2025 à 23:34
- ...l'addition (et la soustraction) d'entiers sans propagation de retenue. Le système a été proposé par [[Algirdas Antanas Avižienis]] en 1961<ref name="Muller"> ...que les chiffres peuvent être positifs ou négatifs. Par exemple, pour la [[Système ternaire|base 3]], les chiffres vont de −2 à +2. ...16 kio (2 607 mots) - 10 août 2024 à 14:04
- En [[informatique théorique]], un '''système de transition d'états''' est une forme de [[machine abstraite]] utilisée po Un système de transition d'états est constitué d'un ensemble d'[[État (informatique)| ...5 kio (803 mots) - 28 décembre 2024 à 12:58
- ...ures]] (CIPM) en 1988. Ces unités ont une échelle très similaire à leurs [[Système international d'unités|unités SI]] correspondantes, mais ne sont pas identi Ce système a été développé afin d'augmenter la précision des mesures : les constantes ...16 kio (2 357 mots) - 4 juin 2023 à 05:57
- En [[physique]], le '''système d'unités de Planck''' est un [[système d'unités]] de mesure défini uniquement à partir de [[Constante physique|con ...tre considéré comme universel, et certains physiciens pensent que c'est le système d'unité qu'il faudrait utiliser pour tenter de communiquer avec une [[Astro ...51 kio (8 101 mots) - 11 mars 2025 à 14:27
- ...d'un [[système de réécriture]]''' <math>\rightarrow_R</math> porte sur un système de réécriture abstrait et affirme que toute chaîne de réduction de termes d ...ive en <math>t'</math> par une règle de <math>R</math>. On dit alors qu'un système de réécriture '''se termine''' si et seulement si la relation de réécriture ...8 kio (1 362 mots) - 28 octobre 2024 à 11:29
- ...ref>, depuis l'étude de la dynamique de systèmes à quelques corps comme le système Terre - Lune - Soleil, jusqu'à la compréhension de l'évolution de la struct ...s de 400 objets dont les paramètres sont comparables à ceux de planètes du système solaire.]] ...20 kio (2 971 mots) - 3 février 2025 à 22:52
Correspondances dans le texte des pages
- La '''théorie des ensembles de Kripke-Platek''' est un [[Axiomatisation|système d'axiomes]] du [[Calcul des prédicats|premier ordre]] pour la [[théorie des ...3 kio (436 mots) - 6 octobre 2017 à 13:23
- [[Catégorie:Système d'ensembles en théorie de la mesure]] ...459 octet (69 mots) - 4 janvier 2021 à 16:35
- {{Théorème|Définition|Une '''algèbre d'ensembles''' est un ensemble <math>\mathcal B</math> de parties d'un ensemble <math>X ...es=338|isbn=978-2-7116-1064-8}}, {{p.|303}}</ref>, et sa variante '''corps d'ensembles'''<ref>{{Ouvrage|titre=Algèbre 2. Les grands théorèmes|prénom=Saunders|nom= ...5 kio (724 mots) - 15 novembre 2024 à 15:57
- ...deux propriétés de stabilité. Le concept, très voisin de celui d'[[algèbre d'ensembles]], est utilisé en [[théorie de la mesure]] pour initialiser les constructio ...1950|page=19}}, parmi d'innombrables sources possibles.</ref>|Un '''anneau d'ensembles''' est un ensemble <math>\mathcal R</math> de parties d'un ensemble <math>X ...6 kio (925 mots) - 22 mai 2021 à 16:25
- == Définition en termes de système formel == Dans la terminologie des [[système formel|systèmes formels]], la définition suivante est équivalente<ref name= ...4 kio (572 mots) - 28 octobre 2024 à 16:59
- [[Catégorie:Système d'ensembles en théorie de la mesure]] ...707 octet (106 mots) - 20 mars 2024 à 01:13
- ...sp;2, 3, ..., le système admet une solution monochromatique. Un système est dit ''régulier'' s'il est ''r-régulier'' pour tout ''r'' ≥&n Le théorème de Rado affirme qu'un système d'équations ''Ax ''= 0 est régulier si et seulement si ''A'' remplit la ''c ...3 kio (496 mots) - 21 avril 2022 à 07:50
- Un '''δ-anneau''' (lire ''delta-anneau'') est un système d'ensembles dont la définition est un peu plus générale que celle des [[sigma-algèbre|σ ...sC&pg=PA8}}.</ref>|Un '''δ-anneau''' sur un ensemble ''X'' est un [[anneau d'ensembles]] sur ''X'' stable par [[intersection (mathématiques)|intersection]] [[ense ...4 kio (588 mots) - 29 février 2020 à 02:55
- En [[combinatoire]], une '''famille de Sperner''' (ou '''système de Sperner'''), appelé ainsi en l'honneur d'[[Emanuel Sperner]], est un [[h == Nombre d'ensembles de Sterner sur un ensemble à ''n'' éléments == ...4 kio (600 mots) - 3 octobre 2023 à 13:57
- Un '''σ-anneau''' (lire ''sigma-anneau'') est un système d'ensembles dont la définition est un peu plus générale que celle des [[sigma-algèbre|σ ...}}.</ref>|Un '''σ-anneau''' sur un ensemble <math>X</math> est un [[anneau d'ensembles]] sur <math>X</math> stable par [[union (mathématiques)|union]] [[ensemble ...6 kio (1 050 mots) - 29 avril 2023 à 16:49
- ...me edition)|isbn=}}, p. 81.</ref>. Les π-systèmes offrent donc une famille d'ensembles de prédilection, et relativement simple<ref name="Evans&Gariepy">{{Ouvrage| ...ition)|isbn=}}, p.2</ref>|Soit <math>X</math> un ensemble. On appelle '''π-système''' sur <math>X</math>, un ensemble <math>\mathcal C</math> de parties de <m ...8 kio (1 428 mots) - 3 mars 2025 à 17:28
- * [[Pi-système]] ...9 kio (1 506 mots) - 7 juillet 2024 à 19:53
- [[Catégorie:Système d'ensembles|Parties]] ...8 kio (1 268 mots) - 4 mars 2025 à 00:02
- {{Démonstration|[[Ensemble dénombrable#Exemples d'ensembles infinis non dénombrables|ℝ{{exp|ℕ}} étant équipotent à ℝ]], il suffit d'app Dans le système [[ZFC]] (de Zermelo-Fraenkel avec axiome du choix), ce théorème est le résu ...4 kio (662 mots) - 15 août 2024 à 06:05
- ...ation différentielle linéaire#Cas général : résolvante{{!}}Résolvante d'un système différentiel linéaire}} ...1 001 octet (143 mots) - 30 mars 2020 à 16:50
- ...géométrie analytique]], l'intersection de deux objets est définie par le [[système d'équations]] formé par la réunion des [[équation]]s associées à chaque obj En dimension 2, l'intersection de deux droites est définie par un système de deux équations à 2 inconnues, qui a, en général, une solution unique, sa ...8 kio (1 357 mots) - 28 décembre 2024 à 17:36
- ...ose que <math>X = \{a_1,\dots,a_{d+2}\}\subset \R^d</math>. Considérons le système : ...ons linéaires traditionnelles. Il existe donc une solution non nulle de ce système. Fixons <math>\lambda_1,\lambda_2,\dots,\lambda_{d+2}</math> une telle solu ...5 kio (827 mots) - 5 avril 2023 à 06:24
- |légende=Une suite infinie d'ensembles qui se contiennent les uns les autres] ...[[Ernst Zermelo|Zermelo]] a adopté un axiome de fondation dans son propre système à la suite de travaux antérieurs de [[Von Neumann]]<ref>{{Chapitre|lang=en| ...8 kio (1 256 mots) - 9 février 2025 à 21:19
- ...artir d'un ensemble de [[Application contractante|contractions]], appelé [[système de fonctions itérées]]<ref>{{Article|langue=en|prénom1=Michael F.|nom1=Barn ...2 kio (332 mots) - 8 mai 2018 à 17:18
- ...]] associant des systèmes qui se comportent de la même façon au sens qu'un système ''simule'' l'autre. Intuitivement, un système simule l'autre s'il peut imiter toutes ses actions. ...2 kio (356 mots) - 7 mars 2016 à 20:30