zero-ary operation
Смотреть что такое "zero-ary operation" в других словарях:
Operation (mathematics) — The general operation as explained on this page should not be confused with the more specific operators on vector spaces. For a notion in elementary mathematics, see arithmetic operation. In its simplest meaning in mathematics and logic, an… … Wikipedia
Operation theory — In logic and mathematics, a finitary operation ω is a function of the form ω : X1 × … × Xk → Y. The sets Xj are the called the domains of the operation, the set Y is called the codomain of the operation, and the fixed non negative integer k… … Wikipedia
n-ary group — In mathematics, an n ary group (also n group, polyadic group or multiary group) is a generalization of a group to a set G with a n ary operation instead of a binary operation.[1] The axioms for an n ary group are defined in such a way as to… … Wikipedia
Boolean algebras canonically defined — Boolean algebras have been formally defined variously as a kind of lattice and as a kind of ring. This article presents them more neutrally but equally formally as simply the models of the equational theory of two values, and observes the… … Wikipedia
Semigroup — This article is about the algebraic structure. For applications to differential equations, see C0 semigroup. In mathematics, a semigroup is an algebraic structure consisting of a set together with an associative binary operation. A semigroup… … Wikipedia
Operad theory — is a field of abstract algebra concerned with prototypical algebras that model properties such as commutativity or anticommutativity as well as various amounts of associativity. Operads generalize the various associativity properties already… … Wikipedia
Cobordism — A cobordism (W;M,N). In mathematics, cobordism is a fundamental equivalence relation on the class of compact manifolds of the same dimension, set up using the concept of the boundary of a manifold. Two manifolds are cobordant if their disjoint… … Wikipedia
Mathematical induction — can be informally illustrated by reference to the sequential effect of falling dominoes. Mathematical induction is a method of mathematical proof typically used to establish that a given statement is true of all natural numbers (positive… … Wikipedia
Closure (mathematics) — For other uses, see Closure (disambiguation). In mathematics, a set is said to be closed under some operation if performance of that operation on members of the set always produces a unique member of the same set. For example, the real numbers… … Wikipedia
Anticommutativity — In mathematics, anticommutativity refers to the property of an operation being anticommutative, i.e. being non commutative in a precise way. Anticommutative operations are widely used in algebra, geometry, mathematical analysis and, as a… … Wikipedia
Natural deduction — In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the natural way of reasoning. This contrasts with the axiomatic systems which instead use… … Wikipedia
