Search Results for ""

The power polynomials x^n are an associated Sheffer sequence with f(t)=t, (1) giving generating function sum_(k=0)^inftyx^kt^k=1/(1-tx) (2) and exponential generating ...

The branch of formal logic, also called functional calculus, that deals with representing the logical connections between statements as well as the statements themselves.

Given f:X->Y, the image of x is f(x). The preimage of y is then f^(-1)(y)={x|f(x)=y}, or all x whose image is y. Images are elements of the range, while preimages are subsets ...

A premise is a statement that is assumed to be true. Formal logic uses a set of premises and syllogisms to arrive at a conclusion.

A relation "<=" is called a preorder (or quasiorder) on a set S if it satisfies: 1. Reflexivity: a<=a for all a in S. 2. Transitivity: a<=b and b<=c implies a<=c. A preorder ...

The present value v_n of a single payment made at n periods in the future is v_n=p/((1+r)^n), (1) where n is the number of periods until payment, p is the payment amount, and ...

An Abelian planar difference set of order n exists only for n a prime power. Gordon (1994) has verified it to be true for n<2000000.

Let D be a subset of the nonnegative integers Z^* with the properties that (1) the integer 0 is in D and (2) any time that the interval [0,n] is contained in D, one can show ...

Let D be a subset of the nonnegative integers Z^* with the properties that (1) the integer 0 is in D and (2) any time that n is in D, one can show that n+1 is also in D. ...

A precise sequence of instructions designed to accomplish a given task. The implementation of an algorithm on a computer using a programming language is an example of a ...