Distribution (mathématiques)En analyse mathématique, une distribution (également appelée fonction généralisée) est un objet qui généralise la notion de fonction et de mesure. La théorie des distributions étend la notion de dérivée à toutes les fonctions localement intégrables et au-delà, et est utilisée pour formuler des solutions à certaines équations aux dérivées partielles. Elles sont importantes en physique et en ingénierie où beaucoup de problèmes discontinus conduisent naturellement à des équations différentielles dont les solutions sont des distributions plutôt que des fonctions ordinaires.
QuadriqueEn mathématiques, une quadrique, ou surface quadratique, est une surface satisfaisant une équation cartésienne polynomiale de degré 2 à trois variables (notées généralement x, y et z) de la forme Ces surfaces sont classifiées par une équation réduite dans un repère orthonormé adapté en géométrie euclidienne, et en neuf classes non dégénérées à transformation linéaire près en géométrie affine. On peut également les étudier dans le cadre de la géométrie projective, qui simplifie et unifie complètement les résultats.
Lambda liftingLambda lifting is a meta-process that restructures a computer program so that functions are defined independently of each other in a global scope. An individual "lift" transforms a local function into a global function. It is a two step process, consisting of; Eliminating free variables in the function by adding parameters. Moving functions from a restricted scope to broader or global scope. The term "lambda lifting" was first introduced by Thomas Johnsson around 1982 and was historically considered as a mechanism for implementing functional programming languages.
Point à l'infiniEn mathématiques, et plus particulièrement en géométrie et en topologie, on appelle point à l'infini un objet adjoint à l'espace que l'on veut étudier pour pouvoir plus commodément y définir certaines notions de limites « à l'infini », ou encore pour obtenir des énoncés plus uniformes, tels que « deux droites se coupent toujours en un point, situé à l'infini si elles sont parallèles ». La notion de point à l'infini apparait au dans le cadre du développement des méthodes de la perspective conique, avec l'invention de la « costruzione abbreviata » d'Alberti.
Aleph (nombre)vignette|Aleph-zéro, le plus petit aleph En théorie des ensembles, les alephs sont les cardinaux des ensembles infinis bien ordonnés. En quelque sorte, le cardinal d'un ensemble représente sa « taille », indépendamment de toute structure que puisse avoir cet ensemble (celle d'ordre en particulier dans le cas présent). Ils sont nommés ainsi d'après la lettre aleph, notée א, première lettre de l'alphabet hébreu, qui est utilisée pour les représenter.
Equivalence (formal languages)In formal language theory, weak equivalence of two grammars means they generate the same set of strings, i.e. that the formal language they generate is the same. In compiler theory the notion is distinguished from strong (or structural) equivalence, which additionally means that the two parse trees are reasonably similar in that the same semantic interpretation can be assigned to both. Vijay-Shanker and Weir (1994) demonstrates that Linear Indexed Grammars, Combinatory Categorial Grammars, Tree-adjoining Grammars, and Head Grammars are weakly equivalent formalisms, in that they all define the same string languages.
