Search Results for ""

NAND, also known as the Sheffer stroke, is a connective in logic equivalent to the composition NOT AND that yields true if any condition is false, and false if all conditions ...

NAND, also known as the Sheffer stroke, is a connective in logic equivalent to the composition NOT AND that yields true if any condition is false, and false if all conditions ...

The map which takes points on the surface of a sphere S^2 to their antipodal points.

If M is continuous and int_a^bM(x)h(x)dx=0 for all infinitely differentiable h(x), then M(x)=0 on the open interval (a,b).

An operator in logic which returns either true or false.

A technique is a specific method of performing an operation. The terms algorithm, method, and procedure are also used interchangeably.

A function, or the symbol representing a function, which corresponds to English conjunctions such as "and," "or," "not," etc. that takes one or more truth values as input and ...

A technical mathematical object which bears the same resemblance to binary relations as categories do to functions and sets.

A set which transforms via converse functions. Antisets usually arise in the context of Chu spaces.

sum_(k=0)^m(phi_k(x)phi_k(y))/(gamma_k)=(phi_(m+1)(x)phi_m(y)-phi_m(x)phi_(m+1)(y))/(a_mgamma_m(x-y),) (1) where phi_k(x) are orthogonal polynomials with weighting function ...