Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
Énergie (physique)En physique, l'énergie est une grandeur qui mesure la capacité d'un système à modifier un état, à produire un travail entraînant un mouvement, un rayonnement électromagnétique ou de la chaleur. Dans le Système international d'unités (SI), l'énergie s'exprime en joules et est de dimension . Le mot français vient du latin vulgaire energia, lui-même issu du grec ancien / enérgeia. Ce terme grec originel signifie « force en action », par opposition à / dýnamis signifiant « force en puissance » ; Aristote a utilisé ce terme , pour désigner la réalité effective en opposition à la réalité possible.
Biologie de la conservationLa biologie de la conservation (ou écologie de la conservation) est une discipline traitant des questions de perte, maintien ou restauration de biodiversité. Robert Barbault la présente comme une discipline de gestion de crise ; elle vise à identifier les populations en déclin ou relictuelles et les espèces en danger, pour en déterminer les causes de leur déclin, proposer, tester et valider des moyens de remédier à ce déclin (éventuellement provisoirement ex situ).
Energy–momentum relationIn physics, the energy–momentum relation, or relativistic dispersion relation, is the relativistic equation relating total energy (which is also called relativistic energy) to invariant mass (which is also called rest mass) and momentum. It is the extension of mass–energy equivalence for bodies or systems with non-zero momentum. It can be written as the following equation: This equation holds for a body or system, such as one or more particles, with total energy E, invariant mass m0, and momentum of magnitude p; the constant c is the speed of light.
Moment cinétique (mécanique quantique)En mécanique quantique le moment cinétique est défini comme un opérateur vectoriel (noté ) à trois composantes, correspondant chacune aux différentes dimensions de l'espace (opérateurs « scalaires »). Celles-ci obéissent entre elles à certaines relations de commutation. Ainsi, alors qu'en mécanique classique les trois composantes du moment cinétique peuvent être simultanément mesurées, ceci est impossible dans le cadre quantique.
Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
Nombre quantique du moment angulaire totalEn mécanique quantique, le nombre quantique de moment angulaire total paramétrise le moment angulaire total d'une particule donnée, en combinant son moment angulaire orbital et son moment angulaire intrinsèque, c'est-à-dire son spin. En notant S le spin d'une particule et L son vecteur de moment angulaire orbital, le moment angulaire total J s'écrit : Le nombre quantique associé est le nombre quantique principal de moment angulaire total j.
Energy transformationEnergy transformation, also known as energy conversion, is the process of changing energy from one form to another. In physics, energy is a quantity that provides the capacity to perform work or moving (e.g. lifting an object) or provides heat. In addition to being converted, according to the law of conservation of energy, energy is transferable to a different location or object, but it cannot be created or destroyed.
Conserved quantityA conserved quantity is a property or value that remains constant over time in a system even while changes occur in the system. In mathematics, a conserved quantity of a dynamical system is formally defined as a function of the dependent variables, the value of which remains constant along each trajectory of the system. Not all systems have conserved quantities, and conserved quantities are not unique, since one can always produce another such quantity by applying a suitable function, such as adding a constant, to a conserved quantity.
Conserved currentIn physics a conserved current is a current, , that satisfies the continuity equation . The continuity equation represents a conservation law, hence the name. Indeed, integrating the continuity equation over a volume , large enough to have no net currents through its surface, leads to the conservation law where is the conserved quantity. In gauge theories the gauge fields couple to conserved currents. For example, the electromagnetic field couples to the conserved electric current.
