Search Results for ""

The study of the meaning and relationships of statements used to represent precise mathematical ideas. Symbolic logic is also called formal logic.

A surface of revolution obtained by rotating a closed plane curve about an axis parallel to the plane which does not intersect the curve. The simplest toroid is the torus. ...

The partial differential equation u_(yy)=yu_(xx).

An irregular dodecahedron.

For a set of positive gamma_k, k=0, 1, 2..., Turán's inequalities are given by gamma_k^2-gamma_(k-1)gamma_(k+1)>=0 for k=1, 2, ....

Except for triangles, every simple polygon has at least two nonoverlapping ears.

A sequence of numbers alpha_n is said to be uncorrelated if it satisfies lim_(n->infty)1/(2n)sum_(m=-n)^nalpha_m^2=1 lim_(n->infty)1/(2n)sum_(m=-n)^nalpha_malpha_(k+m)=0 for ...

A property of individuals which is shared by every individual.

The quantifier "for all" ( forall ), sometimes also known as the "general quantifier."

A universal sentence is a sentence (i.e., formula of the predicate calculus without free variables) whose variables are universally quantified.