Programmation fonctionnelleLa programmation fonctionnelle est un paradigme de programmation de type déclaratif qui considère le calcul en tant qu'évaluation de fonctions mathématiques. Comme le changement d'état et la mutation des données ne peuvent pas être représentés par des évaluations de fonctions la programmation fonctionnelle ne les admet pas, au contraire elle met en avant l'application des fonctions, contrairement au modèle de programmation impérative qui met en avant les changements d'état.
Formally real fieldIn mathematics, in particular in field theory and real algebra, a formally real field is a field that can be equipped with a (not necessarily unique) ordering that makes it an ordered field. The definition given above is not a first-order definition, as it requires quantifiers over sets. However, the following criteria can be coded as (infinitely many) first-order sentences in the language of fields and are equivalent to the above definition.
Dérivée fonctionnelleLa dérivée fonctionnelle est un outil mathématique du calcul des variations. Elle exprime la variation d'une fonctionnelle résultant d'une variation infinitésimale de la fonction fournie en argument. Cet outil est principalement utilisé pour trouver les extremums d'une fonctionnelle. En physique il est souvent nécessaire de minimiser une fonctionnelle, par exemple en mécanique analytique où la trajectoire suivie par un système doit minimiser l'action (voir principe de moindre action).
Near and far fieldThe near field and far field are regions of the electromagnetic (EM) field around an object, such as a transmitting antenna, or the result of radiation scattering off an object. Non-radiative near-field behaviors dominate close to the antenna or scattering object, while electromagnetic radiation far-field behaviors dominate at greater distances. Far-field E (electric) and B (magnetic) field strength decreases as the distance from the source increases, resulting in an inverse-square law for the radiated power intensity of electromagnetic radiation.
Demagnetizing fieldThe demagnetizing field, also called the stray field (outside the magnet), is the magnetic field (H-field) generated by the magnetization in a magnet. The total magnetic field in a region containing magnets is the sum of the demagnetizing fields of the magnets and the magnetic field due to any free currents or displacement currents. The term demagnetizing field reflects its tendency to act on the magnetization so as to reduce the total magnetic moment.
Série formelleEn algèbre, les séries formelles sont une généralisation des polynômes autorisant des sommes infinies, de la même façon qu'en analyse, les séries entières généralisent les fonctions polynomiales, à ceci près que dans le cadre algébrique, les problèmes de convergence sont évités par des définitions ad hoc. Ces objets sont utiles pour décrire de façon concise des suites et pour trouver des formules pour des suites définies par récurrence via ce que l'on appelle les séries génératrices. Soit R un anneau commutatif (unifère).
Lagrangien (théorie des champs)La théorie lagrangienne des champs est un formalisme de la théorie classique des champs. C'est l'analogue de la théorie des champs de la mécanique lagrangienne. La mécanique lagrangienne est utilisée pour analyser le mouvement d'un système de particules discrètes chacune ayant un nombre fini de degrés de liberté. La théorie lagrangienne des champs s'applique aux continus et aux champs, qui ont un nombre infini de degrés de liberté.
Langage formelUn langage formel, en mathématiques, en informatique et en linguistique, est un ensemble de mots. L'alphabet d'un langage formel est l'ensemble des symboles, lettres ou lexèmes qui servent à construire les mots du langage ; souvent, on suppose que cet alphabet est fini. La théorie des langages formels a pour objectif de décrire les langages formels. Les mots sont des suites d'éléments de cet alphabet ; les mots qui appartiennent à un langage formel particulier sont parfois appelés mots bien formés ou formules bien formées.
Système formelUn système formel est une modélisation mathématique d'un langage en général spécialisé. Les éléments linguistiques, mots, phrases, discours, etc., sont représentés par des objets finis (entiers, suites, arbres ou graphes finis...). Le propre d'un système formel est que la correction au sens grammatical de ses éléments est vérifiable algorithmiquement, c'est-à-dire que ceux-ci forment un ensemble récursif.
Effective actionIn quantum field theory, the quantum effective action is a modified expression for the classical action taking into account quantum corrections while ensuring that the principle of least action applies, meaning that extremizing the effective action yields the equations of motion for the vacuum expectation values of the quantum fields. The effective action also acts as a generating functional for one-particle irreducible correlation functions.
Grammaire formelleUne grammaire formelle est un formalisme permettant de définir une syntaxe et donc un langage formel, c'est-à-dire un ensemble de mots admissibles sur un alphabet donné. La notion de grammaire formelle est particulièrement utilisée en programmation logique, compilation (analyse syntaxique), en théorie de la calculabilité et dans le traitement des langues naturelles (tout particulièrement en ce qui concerne leur morphologie et leur syntaxe).
Expansion de l'Universdroite|redresse=1.2|vignette|L'expansion de l'Univers imagée par le gonflement d'un gâteau aux raisins. En cosmologie, l'expansion de l'Univers est le nom du phénomène qui voit à grande échelle les objets composant l'Univers (galaxies, amas...) s'éloigner les uns des autres. Cet écartement mutuel, que l'on pourrait prendre pour un mouvement des galaxies dans l'espace, s'interprète en réalité par un gonflement, une dilatation, de l'espace lui-même, les objets célestes étant de ce fait amenés à s'éloigner les uns des autres.
