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.
Fonction de partitionEn physique statistique, la fonction de partition Z est une grandeur fondamentale qui englobe les propriétés statistiques d'un système à l'équilibre thermodynamique. C'est une fonction de la température et d'autres paramètres, tels que le volume contenant un gaz par exemple. La plupart des variables thermodynamiques du système, telles que l'énergie totale, l'entropie, l'énergie libre ou la pression peuvent être exprimées avec cette fonction et ses dérivées.
Fonction digammaEn mathématiques, la fonction digamma ou fonction psi est définie comme la dérivée logarithmique de la fonction gamma : À la suite des travaux d'Euler sur la fonction gamma, James Stirling a introduit la fonction digamma en 1730, en la notant par Ϝ, la lettre grecque digamma (majuscule). Elle fut par la suite étudiée par Legendre, Poisson et Gauss vers 1810 ; la convergence de la série de Stirling pour cette fonction a été démontrée par Stern en 1847. Elle est désormais le plus souvent notée par la lettre ψ (psi minuscule).
Partition d'un entierEn mathématiques, une partition d'un entier (parfois aussi appelée partage d'un entier) est une décomposition de cet entier en une somme d'entiers strictement positifs (appelés parties ou sommants), à l'ordre près des termes (à la différence du problème de composition tenant compte de l'ordre des termes). Une telle partition est en général représentée par la suite des termes de la somme, rangés par ordre décroissant. Elle est visualisée à l'aide de son diagramme de Ferrers, qui met en évidence la notion de partition duale ou conjuguée.
Formule sommatoire de PoissonLa formule sommatoire de Poisson (parfois appelée resommation de Poisson) est une identité entre deux sommes infinies, la première construite avec une fonction , la seconde avec sa transformée de Fourier . Ici, f est une fonction sur la droite réelle ou plus généralement sur un espace euclidien. La formule a été découverte par Siméon Denis Poisson. Elle, et ses généralisations, sont importantes dans plusieurs domaines des mathématiques, dont la théorie des nombres, l'analyse harmonique, et la géométrie riemannienne.
Théorème de DandelinEn mathématiques, le théorème de Dandelin, ou théorème de Dandelin-Quetelet ou théorème belge sur la section conique, est un théorème portant sur les coniques. Le théorème de Dandelin énonce que, si une ellipse ou une hyperbole est obtenue comme section conique d'un cône de révolution par un plan, alors : il existe deux sphères à la fois tangentes au cône et au plan de la conique (de part et d'autre de ce plan pour l'ellipse et d'un même côté de ce plan pour l'hyperbole) ; les points de tangence des deux sphères au plan sont les foyers de la conique ; les directrices de la conique sont les intersections du plan de la conique avec les plans contenant les cercles de tangences des sphères avec le cône.
Rank of a partitionIn mathematics, particularly in the fields of number theory and combinatorics, the rank of a partition of a positive integer is a certain integer associated with the partition. In fact at least two different definitions of rank appear in the literature. The first definition, with which most of this article is concerned, is that the rank of a partition is the number obtained by subtracting the number of parts in the partition from the largest part in the partition.
Celestial spheresThe celestial spheres, or celestial orbs, were the fundamental entities of the cosmological models developed by Plato, Eudoxus, Aristotle, Ptolemy, Copernicus, and others. In these celestial models, the apparent motions of the fixed stars and planets are accounted for by treating them as embedded in rotating spheres made of an aetherial, transparent fifth element (quintessence), like gems set in orbs. Since it was believed that the fixed stars did not change their positions relative to one another, it was argued that they must be on the surface of a single starry sphere.
Partition of sums of squaresThe partition of sums of squares is a concept that permeates much of inferential statistics and descriptive statistics. More properly, it is the partitioning of sums of squared deviations or errors. Mathematically, the sum of squared deviations is an unscaled, or unadjusted measure of dispersion (also called variability). When scaled for the number of degrees of freedom, it estimates the variance, or spread of the observations about their mean value.
Concentric spheresThe cosmological model of concentric (or homocentric) spheres, developed by Eudoxus, Callippus, and Aristotle, employed celestial spheres all centered on the Earth. In this respect, it differed from the epicyclic and eccentric models with multiple centers, which were used by Ptolemy and other mathematical astronomers until the time of Copernicus. Eudoxus of Cnidus was the first astronomer to develop the concept of concentric spheres. He was originally a student at Plato's academy and is believed to have been influenced by the cosmological speculations of Plato and Pythagoras.
