Résultats de la recherche
Aller à la navigation
Aller à la recherche
Correspondances dans les titres des pages
- [[théorie de la viabilité|La théorie mathématique de la viabilité]], introduite par [[Jean-Pierre Aubin]], fournit un cadre f ...t les résultats et théorèmes peuvent être différents de ce qui existe en [[théorie du contrôle]] ou en [[Commande optimale|contrôle optimal]], en particulier ...23 kio (4 147 mots) - 10 février 2025 à 22:33
Correspondances dans le texte des pages
- ...simple mais utile pour prouver des propriétés d'une [[Théorie axiomatique|théorie]], comme par exemple la [[propriété d'amalgamation]] et le [[théorème des p ...math> une théorie de <math>\mathcal L.</math> Pour un [[Structure (logique mathématique)|modèle]] <math>\mathfrak A</math> de <math>T</math>, on étend <math>\mathc ...2 kio (329 mots) - 22 novembre 2024 à 03:13
- ...tion que pour toute proposition φ du [[Signature (algèbre)|langage]] de la théorie, soit elle contient φ, soit elle contient sa négation ¬φ. ...e de Gödel]], les théories du premier ordre qui sont [[Théorie axiomatique#Théorie récursivement axiomatisable|récursivement axiomatisables]] et qui sont asse ...4 kio (623 mots) - 8 mars 2024 à 10:05
- {{confusion|K-théorie}} {{Titre mis en forme|Théorie ''k''-catégorique}} ...3 kio (444 mots) - 29 mars 2022 à 01:48
- Le '''théorème B''' est un résultat [[Mathématiques|mathématique]] de la [[théorie des groupes]] [[Groupe fini|finis]] anciennement connu sous le nom de conje [[Catégorie:Théorème de la théorie des groupes]] ...808 octet (131 mots) - 19 juin 2024 à 14:22
- ...ath>, dépendant des [[constante de couplage|constantes de couplage]] de la théorie quantique des champs considérés, <math>g^{}_i</math>, et de l’échelle d'éne [[Catégorie:Théorie quantique des champs]] ...1 kio (167 mots) - 5 avril 2017 à 03:14
- == Description mathématique == [[Catégorie:Théorie de l'information]] ...2 kio (272 mots) - 1 juin 2024 à 18:13
- La théorie des '''fonctions de plusieurs variables complexes''' est une branche des [[ * [[Henri Cartan|H. Cartan]]: Théorie élémentaire des fonctions analytiques d'une ou plusieurs variables complexe ...1 kio (165 mots) - 16 mars 2025 à 19:36
- [[N. Bourbaki]], ''[[éléments de mathématique|Théorie des ensembles]]'', {{p.|II.27}}, {{Google Livres|VDGifaOQogcC|page autre=SL [[Catégorie:Théorie des ensembles]] ...945 octet (141 mots) - 4 septembre 2016 à 12:17
- ...ématicien logicien]] américain qui travaille en logique mathématique et en théorie des ensembles. ...é de Vienne]] et directeur du ''Kurt Gödel Forschungszentrums'' de logique mathématique à cette université. ...4 kio (525 mots) - 9 janvier 2023 à 21:54
- ...ue mathématique#Système logique|système logique]] et les programmes d'un [[Théorie de la calculabilité#Modèles de calcul|modèle de calcul]]. Elle a été introd [[Catégorie:Théorie de la démonstration]] ...2 kio (341 mots) - 17 mai 2024 à 23:22
- ...alcul stochastique|l'analyse stochastique]], qui fait partie de la théorie mathématique de la [[probabilité]], un '''processus prévisible''' est un [[processus sto == Définition mathématique == ...2 kio (358 mots) - 1 février 2023 à 16:17
- ...ire sert à l'évaluation des systèmes de traitement des données. Selon la [[théorie de l'information]], pour qu'un signal transmette une donnée, il faut que ce == Définition mathématique == ...3 kio (561 mots) - 17 avril 2022 à 12:47
- ...à des [[Fonction (mathématiques)|fonctions]] ou à des [[Prédicat (logique mathématique)|prédicats]]. Elles étendent le [[calcul des prédicats]]. ...oward| correspondance de Curry-Howard]] qui associe un lambda-calcul (un [[Théorie de la calculabilité|modèle de calcul]]) à une logique. Cela conduit aux lan ...3 kio (533 mots) - 13 février 2023 à 18:02
- ...upe de transformations donné si et seulement si elle garde la ''même forme mathématique'' avant et après application d'une opération du groupe. Pour qu'il puisse y ...ations de Lorentz]]. Cette covariance est historiquement à l'origine de la théorie de la [[relativité restreinte]] d'[[Albert Einstein|Einstein]] (1905). ...3 kio (390 mots) - 27 décembre 2018 à 14:11
- ...atique]]s, la '''conjecture de Goormaghtigh''' est une [[conjecture]] en [[théorie des nombres]] nommée ainsi en hommage au mathématicien belge {{Lien|René Go {{Portail|théorie des nombres}} ...1 kio (164 mots) - 14 mars 2022 à 17:18
- ...]]''' est une collection d'objets et de flèches d'une catégorie donnée. La théorie des catégories commence avec l'observation que de nombreuses propriétés mat En principe, un diagramme n'est pas un objet mathématique mais seulement une figure, destinée à faciliter la lecture d'un raisonnemen ...2 kio (273 mots) - 30 janvier 2024 à 08:40
- ...tante de Legendre''' est une [[table de constantes mathématiques|constante mathématique]] proposée par le mathématicien [[Adrien-Marie Legendre]] et qui n'a aujour ....''x''}} étant un logarithme hyperbolique<ref>A.-M. Legendre, Essai sur la théorie des nombres, Paris, Courcier 1808, [https://gallica.bnf.fr/ark:/12148/bpt6k ...3 kio (563 mots) - 7 janvier 2021 à 17:57
- En [[mathématiques]], et plus précisément en théorie des [[groupe topologique|groupes topologiques]], un [[groupe localement com ...e#Publications|éditeur=Société mathématique de France|lien éditeur=Société mathématique de France|volume=175|issn=0303-1179|consulté le=9 octobre 2016|id=HV89}} ...3 kio (465 mots) - 28 octobre 2023 à 15:24
- ...été d'un système en [[équilibre thermique]] peut être décrite par un objet mathématique appelé '''état Kubo-Martin-Schwinger''' ou plus simplement '''état KMS''' : * [[Théorie de jauge]] ...2 kio (347 mots) - 8 février 2017 à 13:59
- En [[logique mathématique]], la '''logique monadique du premier ordre''' est le fragment syntaxique d ...tableaux]], permettant de décider en un nombre fini d'étapes si une telle théorie est cohérente ou non. ...3 kio (490 mots) - 24 septembre 2024 à 01:58