Search Results for ""

There are several q-analogs of the cosine function. The two natural definitions of the q-cosine defined by Koekoek and Swarttouw (1998) are given by cos_q(z) = ...

A sentence is a logic formula in which every variable is quantified. The concept of a sentence is important because formulas with variables that are not quantified are ...

A function f(x) is said to be antiperiodic with antiperiod p if -f(x)=f(x+np) for n=1, 3, .... For example, the sine function sinx is antiperiodic with period pi (as well as ...

Deciding whether a given Boolean formula in conjunctive normal form has an assignment that makes the formula "true." In 1971, Cook showed that the problem is NP-complete.

A formula is called satisfiable if it takes at least one true value in some interpretation.

A formula whose truth table contains only false in any interpretation is called unsatisfiable.

The hyperbolic sine integral, often called the "Shi function" for short, is defined by Shi(z)=int_0^z(sinht)/tdt. (1) The function is implemented in the Wolfram Language as ...

The word argument is used in several differing contexts in mathematics. The most common usage refers to the argument of a function, but is also commonly used to refer to the ...

A Euclidean number is a number which can be obtained by repeatedly solving the quadratic equation. Euclidean numbers, together with the rational numbers, can be constructed ...

Let R be the class of expressions generated by 1. The rational numbers and the two real numbers pi and ln2, 2. The variable x, 3. The operations of addition, multiplication, ...