Това са думите examples, свързани с natural-number. Щракнете върху която и да е дума, за да отидете на страницата с подробности за думата. Или, отидете на дефиницията на natural-number.
If k is a natural number such that 2 !
It has a natural number m as argument whose meaning is the number of unpacked arguments which are waiting in the stack.
We use indices for that: an exception constructor (or simply an exception) is the name of a data type, possibly indexed by a natural number.
In our example, each object of type natural number has four modes: plus, minus, times and divide.
There exists a natural number s such that the following is true.
Because any natural number multiplied by two always equals an even number, all the guests wind up in even-numbered rooms.
Let m be a natural number such that m < 0 /10.
The ' natural number ' approach is only one way to allow multivalued features.
The function at denotes list indexing and rev k computes the bit-reversal of a natural number.
The functor preserves finite products and the natural number object (up to isomorphism).
Each of these events also carries a natural number as a parameter.
If such a natural number does not exist, we say that the degree of is infinite.
The predicate that decides whether a natural number is even or not may be defined as follows.
Similarly, rational numbers are traditionally formalised as pairs consisting of an integer, and a positive natural number.
As an added benefit, proofs - naturally tree-structured - need not be arbitrarily linearized just so that natural number recursion and induction can be performed on them.