Nombre positifUn nombre positif est un nombre qui est supérieur à zéro, par exemple 3 ou e. En dehors des textes mathématiques, lorsqu'on parle de nombres positifs ou négatifs, le nombre zéro est généralement exclu. Ainsi le dictionnaire Lexis précise : . L'Académie française, dans la neuvième édition de son dictionnaire précise quant à elle qu'un nombre positif est un nombre . En français, le nombre zéro est considéré tantôt comme étant à la fois positif et négatif, tantôt comme n'étant ni positif, ni négatif.
Merge algorithmMerge algorithms are a family of algorithms that take multiple sorted lists as input and produce a single list as output, containing all the elements of the inputs lists in sorted order. These algorithms are used as subroutines in various sorting algorithms, most famously merge sort. The merge algorithm plays a critical role in the merge sort algorithm, a comparison-based sorting algorithm.
Cardinal régulierEn théorie des ensembles, un cardinal infini est dit régulier s'il est égal à sa cofinalité. Intuitivement, un cardinal est régulier si toute réunion indexée par un ensemble petit d'ensembles petits est petite, où un ensemble est dit petit s'il est de cardinalité strictement inférieure à . Une autre définition possible équivalente est que est régulier si pour tout cardinal , toute fonction est bornée. Un cardinal qui n'est pas régulier est dit singulier.
Tri comptageLe tri comptage (counting sort en anglais), appelé aussi tri casier, est un algorithme de tri par dénombrement qui s'applique sur des valeurs entières. Le principe repose sur la construction de l'histogramme des données, puis le balayage de celui-ci de façon croissante, afin de reconstruire les données triées. Ici, la notion de stabilité n'a pas réellement de sens, puisque l'histogramme factorise les données – plusieurs éléments identiques seront représentés par un unique élément quantifié.
Tribu boréliennevignette|Normal distribution pdf. En mathématiques, la tribu borélienne (également appelée tribu de Borel ou tribu des boréliens) sur un espace topologique est la plus petite tribu sur contenant tous les ensembles ouverts. Les éléments de la tribu borélienne sont appelés des boréliens. Le concept doit son nom à Émile Borel, qui a publié en 1898 une première exposition de la tribu borélienne de la droite réelle. La tribu borélienne peut, de manière équivalente, se définir comme la plus petite tribu qui contient tous les sous-ensembles fermés de .
Puissance du continuEn mathématiques, plus précisément en théorie des ensembles, on dit qu'un ensemble E a la puissance du continu (ou parfois le cardinal du continu) s'il est équipotent à l'ensemble R des nombres réels, c'est-à-dire s'il existe une bijection de E dans R. Le cardinal de R est parfois noté , en référence au , nom donné à l'ensemble ordonné (R, ≤). Cet ordre (et a fortiori le cardinal de l'ensemble sous-jacent) est entièrement déterminé (à isomorphisme près) par quelques propriétés classiques.
Tribu (mathématiques)En mathématiques, une tribu ou σ-algèbre (lire sigma-algèbre) ou plus rarement corps de Borel sur un ensemble X est un ensemble non vide de parties de X, stable par passage au complémentaire et par union dénombrable (donc aussi par intersection dénombrable). Les tribus permettent de définir rigoureusement la notion d'ensemble mesurable. Progressivement formalisées pendant le premier tiers du , les tribus constituent le cadre dans lequel s'est développée la théorie de la mesure.
Droite réelle achevéeEn mathématiques, la droite réelle achevée désigne l'ensemble ordonné constitué des nombres réels auxquels sont adjoints deux éléments supplémentaires : un plus grand élément, noté +∞ et un plus petit élément, noté –∞. Elle est notée [–∞, +∞], R ∪ {–∞, +∞} ou (notation toutefois ambiguë, car la barre signifie généralement "complémentaire" en théorie des ensembles, ou "adhérence" en topologie). Cet ensemble est très utile en analyse, notamment pour généraliser les formules et théorèmes sur les limites sans avoir à effectuer une disjonction des cas, et dans certaines théories de l'intégration.
Divisionvignette|Division en tant que partage. Illustration de 20÷4 : partage d'un ensemble de 20 pommes en 4 parts égales. La division est une opération mathématique qui, à deux nombres a et b, associe un troisième nombre (loi de composition interne), appelé quotient ou rapport, et qui peut être notée : a : b ; a ÷ b (obélus) ; a / b (barre oblique, fraction en ligne) ; (fraction). Dans une première approche, on peut voir la quantité a÷b comme une séparation de la quantité a en b parts égales.
Abstract rewriting systemIn mathematical logic and theoretical computer science, an abstract rewriting system (also (abstract) reduction system or abstract rewrite system; abbreviated ARS) is a formalism that captures the quintessential notion and properties of rewriting systems. In its simplest form, an ARS is simply a set (of "objects") together with a binary relation, traditionally denoted with ; this definition can be further refined if we index (label) subsets of the binary relation.
