DICLIB.COM
Outils linguistiques IA

Tous les outils Abonnement Contactez-nous

Entrez un mot ou une phrase dans n'importe quelle langue 👆

Langue:

Traduction et analyse des mots par intelligence artificielle

Sur cette page, vous pouvez obtenir une analyse détaillée d'un mot ou d'une phrase, réalisée à l'aide de la meilleure technologie d'intelligence artificielle à ce jour:

comment le mot est utilisé
fréquence d'utilisation
il est utilisé plus souvent dans le discours oral ou écrit
options de traduction de mots
exemples d'utilisation (plusieurs phrases avec traduction)
étymologie

overspill - traduction vers russe

PROOF TECHNIQUE IN NON-STANDARD ANALYSIS, IS LESS COMMONLY CALLED OVERFLOW

Internal induction

overspill

['əuvəspil]

существительное

общая лексика

переливание через край

жидкость

перелившаяся через край

избыток

излишек населения

публики

то, что пролито

(эмигрирующий) избыток населения

overspill

overspill noun 1) то, что пролито 2) (эмигрирующий) избыток населения

просыпаться

• Some of the ore spills to the bottom of the shaft.

Définition

overspill

¦ noun

1. an instance of spilling over.

2. Brit. a surplus population moving from an overcrowded area to live elsewhere.

Afficher plus de définitions

Wikipédia

Overspill

In nonstandard analysis, a branch of mathematics, overspill (referred to as overflow by Goldblatt (1998, p. 129)) is a widely used proof technique. It is based on the fact that the set of standard natural numbers N is not an internal subset of the internal set *N of hypernatural numbers.

By applying the induction principle for the standard integers N and the transfer principle we get the principle of internal induction:

For any internal subset A of *N, if

1 is an element of A, and
for every element n of A, n + 1 also belongs to A,

then

A = *N

If N were an internal set, then instantiating the internal induction principle with N, it would follow N = *N which is known not to be the case.

The overspill principle has a number of useful consequences:

The set of standard hyperreals is not internal.
The set of bounded hyperreals is not internal.
The set of infinitesimal hyperreals is not internal.

In particular:

If an internal set contains all infinitesimal non-negative hyperreals, it contains a positive non-infinitesimal (or appreciable) hyperreal.
If an internal set contains N it contains an unlimited (infinite) element of *N.

https://en.wikipedia.org/wiki/Overspill

Exemples du corpus de texte pour overspill

1. Hundreds of passengers queued in overspill marquees outside Terminal 4.

2. The overspill galleries in the Commons were pressed into action.

3. The triple attack has been widely seen as an overspill from the Iraq conflict.

4. Otherwise, by necessity, the people mopping up the overspill would spend their entire lives being unfulfilled.

5. But next week even this overspill is likely to be exhausted.

Traduction de &#39overspill&#39 en Russe