maximal type
Смотреть что такое "maximal type" в других словарях:
Type theory — In mathematics, logic and computer science, type theory is any of several formal systems that can serve as alternatives to naive set theory, or the study of such formalisms in general. In programming language theory, a branch of computer science … Wikipedia
Maximal function — Maximal functions appear in many forms in harmonic analysis (an area of mathematics). One of the most important of these is the Hardy–Littlewood maximal function. They play an important role in understanding, for example, the differentiability… … Wikipedia
Maximal independent set — This article is about the combinatorial aspects of maximal independent sets of vertices in a graph. For other aspects of independent vertex sets in graph theory, see Independent set (graph theory). For other kinds of independent sets, see… … Wikipedia
Type (model theory) — In model theory and related areas of mathematics, a type is a set of first order formulas in a language L with free variables x1, x2,…, xn which are true of a sequence of elements of an L structure . Loosely speaking, types describe possible… … Wikipedia
Type II string theory — In theoretical physics, type II string theory is a unified term that includes both type IIA strings and type IIB strings. These account for two of the five consistent superstring theories in ten dimensions. Both theories have the maximal amount… … Wikipedia
Type 41 — Bugatti Type 41 Bugatti Type 41 Constructeur Bugatti Production totale 6+1 exemplaires Classe Limousine, Berline, Cabriolet, Coupé, Roadster … Wikipédia en Français
Type-Hinting — Ein Parameter ist in der Informatik ein veränderliches Element eines Programms oder Unterprogramms, das bei der Definition des Unterprogramms formal angelegt (formaler Parameter) und beim Aufruf des Unterprogramms für jeweils diesen einen Aufruf… … Deutsch Wikipedia
Type 70 SPA — Typ 70 Allgemeine Eigenschaften Besatzung 2 Mann Länge 5,40 m Breite 3,00 m … Deutsch Wikipedia
Sous-groupe maximal d'un groupe — En théorie des groupes, on appelle sous groupe maximal d un groupe G tout élément maximal de l ensemble des sous groupes propres de G, cet ensemble étant ordonné par inclusion[1]. (On entendra ici par « sous groupe propre de G » un sous … Wikipédia en Français
Volume d'oxygène maximal — Consommation maximale d oxygène La consommation maximale d oxygène ou VO2max – terme symbole indifféremment masculin ou féminin, dont le « V » est en principe surmonté d un point afin de signifier qu il s agit d un débit –, est le… … Wikipédia en Français
Algèbre de type fini — Pour les articles homonymes, voir Algèbre (homonymie). En algèbre commutative, la notion d algèbre de type fini est une première généralisation des anneaux de polynômes à un nombre fini d indéterminées. Ces algèbres possèdent de bonnes propriétés … Wikipédia en Français