C++11C++11, anciennement connu sous le nom de C++0x, est une norme pour le langage C++ en informatique. Elle a été approuvée unanimement le . Elle remplace la précédente norme, ISO/CEI 14882, publiée en et mise à jour en . Ces dernières sont plus connues sous les noms informels de C++98 et C++03. C++11 introduit plusieurs nouveautés au langage initial, ainsi que de nouvelles fonctionnalités à la bibliothèque standard du C++ comme la plupart des bibliothèques du Technical Report 1, à l'exception de la bibliothèque de fonctions mathématiques spéciales.
Polynôme de BernoulliEn mathématiques, les polynômes de Bernoulli apparaissent dans l'étude de beaucoup de fonctions spéciales et en particulier, la fonction zêta de Riemann ; des polynômes analogues, correspondant à une fonction génératrice voisine, sont connus sous le nom de polynômes d'Euler. Les polynômes de Bernoulli sont l'unique suite de polynômes telle que : La fonction génératrice pour les polynômes de Bernoulli est La fonction génératrice pour les polynômes d'Euler est Les nombres de Bernoulli sont donnés par .
Suite arithmétiqueEn mathématiques, une suite arithmétique est une suite (le plus souvent une suite de réels) dans laquelle chaque terme permet de déduire le suivant en lui ajoutant une constante appelée raison. Cette définition peut s'écrire sous la forme d'une relation de récurrence, pour chaque indice n : Cette relation est caractéristique de la progression arithmétique ou croissance linéaire. Elle décrit bien les phénomènes dont la variation est constante au cours du temps, comme l'évolution d'un compte bancaire à intérêts simples.
Conservative systemIn mathematics, a conservative system is a dynamical system which stands in contrast to a dissipative system. Roughly speaking, such systems have no friction or other mechanism to dissipate the dynamics, and thus, their phase space does not shrink over time. Precisely speaking, they are those dynamical systems that have a null wandering set: under time evolution, no portion of the phase space ever "wanders away", never to be returned to or revisited. Alternately, conservative systems are those to which the Poincaré recurrence theorem applies.
Profinite integerIn mathematics, a profinite integer is an element of the ring (sometimes pronounced as zee-hat or zed-hat) where indicates the profinite completion of , the index runs over all prime numbers, and is the ring of p-adic integers. This group is important because of its relation to Galois theory, étale homotopy theory, and the ring of adeles. In addition, it provides a basic tractable example of a profinite group. The profinite integers can be constructed as the set of sequences of residues represented as such that .
Degré d'un polynômeEn algèbre commutative, le degré d'un polynôme (en une ou plusieurs indéterminées) est le degré le plus élevé de ses termes lorsque le polynôme est exprimé sous sa forme canonique constituée d'une somme de monômes. Le degré d'un terme est la somme des exposants des indéterminées qui y apparaissent. Le terme ordre a été utilisé comme synonyme de degré, mais de nos jours, il fait référence à des concepts différents, bien que connexes. Par exemple, le polynôme 7XY + 4X – 9 a trois monômes.
Théorème de la progression arithmétiqueEn mathématiques, et plus précisément en théorie des nombres, le théorème de la progression arithmétique, s'énonce de la façon suivante : Ce théorème est une généralisation du théorème d'Euclide sur les nombres premiers. Sa première démonstration, due au mathématicien allemand Gustav Lejeune Dirichlet en 1838, fait appel aux résultats de l'arithmétique modulaire et à ceux de la théorie analytique des nombres. La première démonstration « élémentaire » est due à Atle Selberg en 1949.
Sous-suiteEn mathématiques, une sous-suite (ou une suite extraite) est une suite obtenue en ne prenant que certains éléments (une infinité) d'une suite de départ. Cette opération est parfois appelée extraction. Formellement, une suite est une application définie sur l'ensemble N des entiers naturels. On la note classiquement . Une sous-suite ou suite extraite est la composée de u par une application strictement croissante . Elle s'écrit donc sous la forme . Dans ce contexte, l'application est appelée extractrice.
Interval exchange transformationIn mathematics, an interval exchange transformation is a kind of dynamical system that generalises circle rotation. The phase space consists of the unit interval, and the transformation acts by cutting the interval into several subintervals, and then permuting these subintervals. They arise naturally in the study of polygonal billiards and in area-preserving flows. Let and let be a permutation on . Consider a vector of positive real numbers (the widths of the subintervals), satisfying Define a map called the interval exchange transformation associated with the pair as follows.
Logical formIn logic, logical form of a statement is a precisely-specified semantic version of that statement in a formal system. Informally, the logical form attempts to formalize a possibly ambiguous statement into a statement with a precise, unambiguous logical interpretation with respect to a formal system. In an ideal formal language, the meaning of a logical form can be determined unambiguously from syntax alone. Logical forms are semantic, not syntactic constructs; therefore, there may be more than one string that represents the same logical form in a given language.
