Sentence examples for successor operation from inspiring English sources

Most mathematicians follow Peano, who preferred to introduce the natural numbers directly by postulating the crucial properties of 0 and the successor operation S, among which one finds the principle of mathematical induction.

During the early 1920's, political assassination was the weapon of choice for the Freikorps' illegal successor, Operation Consul, an underground cabal whose hatred of Jews, democrats and communists was notorious.

While weak inaccessibles merely involve closure under the successor operation, strong inaccessibles involve a much stronger notion of closure under the powerset operation.

Besides, since (as A.P. Hazen pointed out to me) the monadic second-order theory of the successor operation is decidable, the amount of mathematics that can be obtained in this way is very limited.

Moreover, we include in the language a constant symbol 0 for the number zero, a one-place function symbol S for the successor operation (which applied to a natural number gives the next one), a two place predicate symbol < for the ordering relation < on N, and two-place function symbols + and × for addition and multiplication, respectively.

Incrementation, also known as the successor operation, is the addition of 1 to a number.

While the general chaining algorithm requires a dictionary data structure with insert, delete, predecessor and successor operations running in logarithmic time (e.g. an AVL-tree or a red-black tree), our approach only needs a linear list, which is much easier to implement and requires less space.

It marked the end of "operation successor", devised in the depths of the Kremlin.

It is more honest, and will in the long run be more effective, to denounce the arrival of the corrupt autocracy that Operation Successor has announced so starkly.

Yet the grey Mr Zubkov is unlikely to prove a very different kind of prime minister.The cabinet shuffle is better seen as part of the opaque selection process known as "operation successor".

The Simon Wiesenthal Centre's chief Nazi-hunter, Efraim Zuroff, said he would launch a campaign in the next two months – a successor to his Operation Last Chance – to track down the remaining war criminals.