Algebraic expressionIn mathematics, an algebraic expression is an expression built up from constant algebraic numbers, variables, and the algebraic operations (addition, subtraction, multiplication, division and exponentiation by an exponent that is a rational number). For example, 3x2 − 2xy + c is an algebraic expression. Since taking the square root is the same as raising to the power 1/2, the following is also an algebraic expression: An algebraic equation is an equation involving only algebraic expressions.
Calcul des propositionsLe calcul des propositions ou calcul propositionnel, (ou encore logique des propositions) fait partie de la logique mathématique. Il a pour objet l'étude des relations logiques entre « propositions » et définit les lois formelles selon lesquelles les propositions complexes sont formées en assemblant des propositions simples au moyen des connecteurs logiques et celles-ci sont enchaînées pour produire des raisonnements valides. Il est un des systèmes formels, piliers de la logique mathématique dont il aide à la formulation des concepts.
Convexité (finance)La convexité (en anglais : bond convexity) est un indicateur du risque de taux lié à un instrument à taux fixe, comme une obligation, qui complète la sensibilité ou la duration En utilisant le théorème de Taylor, on peut approcher la variation du prix d'une obligation en fonction de son taux actuariel. Avec : le taux actuariel, le prix de l'instrument en fonction du taux actuariel, la dérivée du prix de l'instrument par rapport au taux actuariel. la dérivée seconde du prix de l'instrument.
Logique algébriqueEn logique mathématique, la logique algébrique est le raisonnement obtenu en manipulant des équations avec des variables libres. Ce qui est maintenant généralement appelé la logique algébrique classique se concentre sur l'identification et la description algébrique des modèles adaptés à l'étude de différentes logiques (sous la forme de classes d'algèbres qui constituent la sémantique algébrique de ces systèmes déductifs) et aux problèmes connexes, comme la représentation et la dualité.
Primitive notionIn mathematics, logic, philosophy, and formal systems, a primitive notion is a concept that is not defined in terms of previously-defined concepts. It is often motivated informally, usually by an appeal to intuition and everyday experience. In an axiomatic theory, relations between primitive notions are restricted by axioms. Some authors refer to the latter as "defining" primitive notions by one or more axioms, but this can be misleading. Formal theories cannot dispense with primitive notions, under pain of infinite regress (per the regress problem).
Calcul des séquentsEn logique mathématique et plus précisément en théorie de la démonstration, le calcul des séquents est un système de déduction créé par Gerhard Gentzen. Le nom de ce formalisme fait référence à un style particulier de déduction ; le système original a été adapté à diverses logiques, telles que la logique classique, la logique intuitionniste et la logique linéaire. Un séquent est une suite d'hypothèses suivie d'une suite de conclusions, les deux suites étant usuellement séparées par le symbole (taquet droit), « : » (deux-points) ou encore (flèche droite) dans l'œuvre originale de Gentzen.
Tenseur antisymétriqueEn mathématiques et physique théorique, un tenseur est antisymétrique pour les indices i et j si son signe est interchangé lorsqu'on inverse 2 indices : Un tenseur antisymétrique est un tenseur possédant 2 indices pour lesquels il est antisymétrique. Si un tenseur change de signe dès que 2 indices quelconques sont inversés, alors ce tenseur est dit complètement antisymétrique et est aussi nommé forme différentielle. Un tenseur A qui est antisymétrique pour les indices i et j possède la propriété que sa contraction avec un tenseur B, symétrique pour les indices i et j, est identiquement nulle.
Transformation de LegendreLa transformation de Legendre est une opération mathématique qui, schématiquement, transforme une fonction définie par sa valeur en un point en une fonction définie par sa tangente. Elle tire son nom du mathématicien Adrien-Marie Legendre. Les cas classiques d'utilisation de la transformation de Legendre se rencontrent en thermodynamique et en mécanique lagrangienne. En thermodynamique, elle permet de calculer le potentiel thermodynamique adapté à des conditions particulières.
Fonction d'appuiEn analyse mathématique, et plus spécialement en analyse convexe, la fonction d'appui d'une partie P d'un espace normé réel E est la fonction convexe qui à toute forme linéaire continue s sur E associe la borne supérieure de dans . La fonction d'appui d'une partie P d'un espace normé E est la fonction notée σ et définie par où E' est le dual topologique de E et est la valeur de la forme linéaire continue s en x. En particulier, (sup(∅) = –∞). La fonction d'appui se présente naturellement dans un certain nombre de constructions en analyse et en analyse convexe.
