Volume elementIn mathematics, a volume element provides a means for integrating a function with respect to volume in various coordinate systems such as spherical coordinates and cylindrical coordinates. Thus a volume element is an expression of the form where the are the coordinates, so that the volume of any set can be computed by For example, in spherical coordinates , and so . The notion of a volume element is not limited to three dimensions: in two dimensions it is often known as the area element, and in this setting it is useful for doing surface integrals.
Coordonnées normalesEn géométrie différentielle, les coordonnées normales d'un point p dans une variété différentielle munie d'une connexion affine symétrique sont un système de coordonnées locales au voisinage de p obtenu par une application exponentielle à l'espace tangent à p. Dans un système de coordonnées normales, les symboles de Christoffel de la connexion disparaissent au point p. En coordonnées normales, associées à une connexion de Levi-Civita d'une variété riemannienne, on peut en outre faire en sorte que le tenseur métrique soit le symbole de Kronecker au point p, et que les dérivées partielles premières de la métrique à p disparaissent.
Gravité artificielleLa gravité artificielle est une accélération résultant de l'application d'une force et mise dans l'espace pour simuler la gravité. Ce terme peut également recouvrir différents concepts de science-fiction permettant de manipuler la gravité. Dans le contexte du vol spatial habité, la mise en œuvre de la gravité artificielle doit permettre de combattre les effets de l'impesanteur sur le corps humain durant une période prolongée.
Short-circuit evaluationShort-circuit evaluation, minimal evaluation, or McCarthy evaluation (after John McCarthy) is the semantics of some Boolean operators in some programming languages in which the second argument is executed or evaluated only if the first argument does not suffice to determine the value of the expression: when the first argument of the AND function evaluates to false, the overall value must be false; and when the first argument of the OR function evaluates to true, the overall value must be true.
Gravity of EarthThe gravity of Earth, denoted by g, is the net acceleration that is imparted to objects due to the combined effect of gravitation (from mass distribution within Earth) and the centrifugal force (from the Earth's rotation). It is a vector quantity, whose direction coincides with a plumb bob and strength or magnitude is given by the norm . In SI units this acceleration is expressed in metres per second squared (in symbols, m/s2 or m·s−2) or equivalently in newtons per kilogram (N/kg or N·kg−1).
Formule (mathématiques)En logique et en mathématiques, une formule est une suite finie d'objets, dotée de propriétés particulières qui rendent possible la syntaxe dans tous ces domaines. Étant donné un ensemble E et une fonction de poids p: E →N, une formule est un mot extrait de E obtenu par les deux règles de construction suivantes : un seul élément de E de poids 0 est une formule ; si t est un élément de poids n, pour toute suite de n formules F1, F2, ...., Fn, le mot concaténé tF1F2....Fn est une formule.
Theoretical gravityIn geodesy and geophysics, theoretical gravity or normal gravity is an approximation of the true gravity on Earth's surface by means of a mathematical model representing Earth. The most common model of a smoothed Earth is a rotating Earth ellipsoid of revolution (i.e., a spheroid). The type of gravity model used for the Earth depends upon the degree of fidelity required for a given problem.
Formule logiqueEn logique on dit d’une suite finie de lettres qu’elle est une formule, ou parfois formule bien formée, d'un langage logique donné lorsqu’elle peut être construite en appliquant une combinaison des règles de la grammaire formelle associée, on parle de la syntaxe du langage. Informellement les formules sont les assemblages de lettres auxquels il est possible de donner une signification en termes de valeur de vérité (Vrai, ou Faux). Les formules logiques sont l'équivalent des phrases du langage naturel.
Congé parentalUn congé parental est un congé du travail pour les parents en raison de la naissance ou de l'adoption d'un enfant pour s'occuper de celui-ci. Dans l’Union européenne, selon la directive du 20 juin 2019 concernant l’équilibre entre vie professionnelle et vie privée des parents et des aidants, « Les États membres prennent les mesures nécessaires pour que chaque travailleur ait un droit individuel à un congé parental de quatre mois, à prendre avant que l'enfant n'atteigne un âge déterminé pouvant aller jusqu'à huit ans, à définir par chaque État membre ou par les conventions collectives.
Logique mathématiqueLa logique mathématique ou métamathématique est une discipline des mathématiques introduite à la fin du , qui s'est donné comme objet l'étude des mathématiques en tant que langage. Les objets fondamentaux de la logique mathématique sont les formules représentant les énoncés mathématiques, les dérivations ou démonstrations formelles représentant les raisonnements mathématiques et les sémantiques ou modèles ou interprétations dans des structures qui donnent un « sens » mathématique générique aux formules (et parfois même aux démonstrations) comme certains invariants : par exemple l'interprétation des formules du calcul des prédicats permet de leur affecter une valeur de vérité'.
Inégalité de HölderEn analyse, l’inégalité de Hölder, ainsi nommée en l'honneur de Otto Hölder, est une inégalité fondamentale relative aux espaces de fonctions , comme les espaces de suites . C'est une généralisation de l'inégalité de Cauchy-Schwarz. Il existe une formulation de l'inégalité utilisée en mathématiques discrètes. Plus généralement, pour et défini par , si et alors et . De plus, lorsque et sont finis, il y a égalité si et seulement si et sont colinéaires presque partout (p.p.), c'est-à-dire s’il existe et non simultanément nuls tels que p.
Inégalité triangulaireEn géométrie, l'inégalité triangulaire est le fait que, dans un triangle, la longueur d'un côté est inférieure à la somme des longueurs des deux autres côtés. Cette inégalité est relativement intuitive. Dans la vie ordinaire, comme dans la géométrie euclidienne, cela se traduit par le fait que la ligne droite est le plus court chemin : le plus court chemin d'un point A à un point B est d'y aller tout droit, sans passer par un troisième point C qui ne serait pas sur la ligne droite.
