例句與造句

1. Multiplication is an Lisp languages gives rise to a natural notation for nullary functions:
2. This means that there can be no confusion regarding the use of nullary intersections in the definition.
3. But all nullary constructors, thus all monomorphic types, have the same, simplest kind; namely *.
4. In the sense of universal algebra, they are structures with a single nullary operation which picks out the basepoint.
5. If nullary symbols are allowed, then every formula of propositional logic is also a formula of first-order logic.
6. It's difficult to find nullary in a sentence. 用nullary造句挺難的
7. Syntactically, it is natural to consider polymorphic types to be type constructors, thus non-polymorphic types to be nullary type constructors.
8. The prototype therefore has two operations taking no arguments, called zeroary or "'nullary "'operations, namely zero and one.
9. Note that the axioms are given in terms of the maps ( binary product, unary inverse, and nullary identity ), hence are categorical definitions.
10. An empty, or nullary, product is always a terminal object in the category, and the empty coproduct is always an initial object in the category.
11. The case of a unary operation is similar; but one should also look at nullary operations, which pick out a " constant " element.
12. In mathematical logic, very often symbols are not allowed to be nullary, so that constant symbols must be treated separately rather than as nullary function symbols.
13. In mathematical logic, very often symbols are not allowed to be nullary, so that constant symbols must be treated separately rather than as nullary function symbols.
14. It corresponds to a set of nullary constructors and may be implemented as a simple tag variable, since it holds no additional data besides the value of the tag.
15. Composition alone does not allow to generate a nullary function from the corresponding unary constant function, this is the technical reason why nullary functions are excluded from clones in Post's classification.
16. Composition alone does not allow to generate a nullary function from the corresponding unary constant function, this is the technical reason why nullary functions are excluded from clones in Post's classification.
更多例句：  下一頁