Résultats de la recherche

En [[mathématiques]], le '''cup''' est un symbole qui a la forme d'une tasse, et ressemble à un U majuscule de la taille d'un [[Catégorie:Symbole mathématique]] ...

* Double tilde, ou plus précisément le symbole « presque égal à » {{graphie|≈}}, représentant l’[[approximation]] ; ...th>, représentant la double [[Négation logique|négation]] dans la notation mathématique anglophone; ...

...''cap'', tandis que le ''cap product'' est typiquement noté avec le second symbole.</ref>. Le symbole est notamment utilisé pour l'[[Intersection (mathématiques)|intersection d' ...

...bole]] somme''', noté <math>\sum</math>, (caractère  ∑) est une [[notation mathématique]] qui permet de désigner la [[Somme (arithmétique)|somme]] d'une famille fi ...ntervalle d'entiers, il est courant de noter le premier ''indice'' sous le symbole somme et le dernier au-dessus. On trouve alors les notations :<center><math ...

...ismes, pour avoir moins de non-dit, la signature est une liste de couples (symbole, arité). ...s prédicats à plusieurs types d'objets et en [[théorie des types]], chaque symbole possède un type (l'arité n'est pas suffisante). ...

...Ainsi la valeur d'un symbole constant ''c'' est juste "''c''"(en tant que symbole). Ces structures tirent leur nom du mathématicien français [[Jacques Herbra ...st infiniment dénombrable si {{Mvar|σ}} est dénombrable et qu'il existe un symbole de fonction d'arité strictement supérieur à 0. ...

...istential Quantification.png|alt=quantificateur il existe|vignette|Symbole mathématique du quantificateur d'existence.]] ...icat]], <math>P</math> se note <math>\exist x P(x)</math>, où le [[symbole mathématique]] <math>\exist</math>, lu « il existe », est le '''quantificateur existenti ...

== Symbole == ...r la non-implication est un symbole d'implication logique barré " ↛ ". Son symbole [[Unicode]] est 8603 (décimal). ...

...fois nommé par son appellation anglaise mathématique '''wedge''', est un [[symbole]] désignant couramment plusieurs significations : [[Catégorie:Symbole mathématique]] ...

...ath|∞}} » ou (U+221E, \infty <math>\infty</math> en [[LaTeX]]) est le '''[[symbole]]''' représentant l{{'}}'''[[infini]]'''. Il a été inventé par le mathémati Selon la [[police d'écriture]] et la [[fonte de caractères]], ce symbole peut comporter des pleins et des déliés ou non, modifiant ainsi sa symétrie ...

...isymétrique|antisymétrique]] d'ordre 3 qui peut être exprimé à partir du [[symbole de Kronecker]] : [[Image:Epsilontensor.svg|vignette|Visualisation d'un symbole de Levi-Civita en 3 dimensions (''i'' d'avant en arrière, ''j'' de haut en ...

{{Ébauche|typographie|mathématique}} ...'''coins de Quine''' sont des signes de ponctuation utilisés en [[logique mathématique]]. Les coins de Quine nord-ouest et nord-est {{graphie|⌜ ⌝}} sont utilisés ...

* [[Rond_(Mathématiques)|Rond]], le symbole mathématique <math>\circ</math> utilisé pour définir la composition de fonctions. ...

...de programmation|langages de programmation]], un '''opérateur''' est un [[symbole]] (ou une [[chaîne de caractères]]) spécifiant une [[opération (mathématiqu * « Notation mathématique », ''Dictionnaire des Mathématiques, fondements, probabilités, applications ...

Ce symbole peut aussi désigner le [[type vide]] en [[théorie des types]], ou encore le [[Catégorie:Symbole mathématique]] ...

En [[théorie des modèles]], une branche de la [[logique mathématique]], le '''diagramme''' d'une structure est un concept simple mais utile pour ...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 ...

...té correspondante de copies du symbole. Ainsi 6 s'écrit |||||| où | est le symbole utilisé pour représenter l'unité. ...deux entiers naturels s'effectue par substitution de chaque apparition du symbole de l'unité dans la séquence du premier entier par une copie de la séquence ...

* ∪ (<math>\cup</math>), le symbole de l'[[union (mathématiques)|union]] ; ...ystème U (mathématiques)|système U]] et le système U−, concepts de logique mathématique ; ...

* [p] est le symbole en [[alphabet phonétique international]] représentant la [[consonne occlusi ...de l'[[élément chimique]] [[phosphore]] (voir la [[liste des éléments par symbole|liste des éléments chimiques]]). ...

...larités''' (aussi '''théorème de Duistermaat-Hörmander''') est un résultat mathématique de l'[[analyse microlocale]], qui est l'[[ensemble de front d'onde]] ({{en ...e la propagation des singularités le long du flux bi-caractéristique des [[Symbole d'un opérateur différentiel|symboles principaux]] découle de <math>P</math> ...