Search references for ELEMENTARY FUNCTION. Phrases containing ELEMENTARY FUNCTION
See searches and references containing ELEMENTARY FUNCTION!ELEMENTARY FUNCTION
Type of mathematical function
elementary function is a function of a single variable (real or complex) that is typically encountered by beginners. The basic elementary functions are
Elementary_function
System of arithmetic in proof theory
branch of mathematical logic, elementary function arithmetic (EFA), also called elementary arithmetic and exponential function arithmetic, is the system of
Elementary function arithmetic
Elementary_function_arithmetic
Concept in computability theory
elementary was originally introduced by László Kalmár in the context of computability theory. He defined the class of elementary recursive functions ("Kalmár
Elementary_recursive_function
Association of one output to each input
most functions that are encountered in elementary courses of mathematics are elementary in this sense, some elementary functions are not elementary for
Function_(mathematics)
Criterion for integration in terms of elementary functions
expressed as elementary functions. The antiderivatives of certain elementary functions cannot themselves be expressed as elementary functions. These are
Liouville's theorem (differential algebra)
Liouville's_theorem_(differential_algebra)
{\displaystyle {\mathsf {ELEMENTARY}}} consists of the decision problems that can be solved in time bounded by an elementary recursive function. Equivalently, these
ELEMENTARY
Mathematical formula involving a given set of operations
basic functions, the functions that have a closed form are called elementary functions. The closed-form problem arises when new ways are introduced for
Closed-form_expression
Mathematical function that can be computed by a program
Computable functions are the basic objects of study in computability theory. Informally, a function is computable if there is an algorithm that computes
Computable_function
Logical connective AND
concept of vacuous truth, when conjunction is defined as an operator or function of arbitrary arity, the empty conjunction (AND-ing over an empty set of
Logical_conjunction
Set of all things that may be the input of a mathematical function
In mathematics, the domain of a function is the set of inputs accepted by the function. It is sometimes denoted by dom ( f ) {\displaystyle \operatorname
Domain_of_a_function
Function returning one of only two values
switching function, used especially in older computer science literature, and truth function (or logical function), used in logic. Boolean functions are the
Boolean_function
Multivalued function in mathematics
terms of elementary (Liouvillian) functions, the first published proof did not appear until 2008. There are countably many branches of the W function, denoted
Lambert_W_function
types of functions Elementary functions are functions built from basic operations (e.g. addition, exponentials, logarithms...) Algebraic functions are functions
List of mathematical functions
List_of_mathematical_functions
Number of arguments required by a function
science, arity (/ˈærɪti/ ) is the number of arguments or operands taken by a function, operation or relation. In mathematics, arity may also be called rank,
Arity
Integrals not expressible in closed-form from elementary functions
antiderivative of a given elementary function is an antiderivative (or indefinite integral) that is, itself, not an elementary function. A theorem by Liouville
Nonelementary_integral
Special function defined by an integral
shows that Ei {\displaystyle \operatorname {Ei} } is not an elementary function. The definition above can be used for positive values of x {\displaystyle
Exponential_integral
Algorithmic runtime requirements for common math procedures
in Borwein & Borwein. The elementary functions are constructed by composing arithmetic operations, the exponential function ( exp {\displaystyle \exp
Computational complexity of mathematical operations
Computational_complexity_of_mathematical_operations
Target set of a mathematical function
mathematics, a codomain or set of destination of a function is a set into which all of the outputs of the function are constrained to fall. It is the set Y in
Codomain
Extension of the factorial function
{\displaystyle x} is a positive integer, and no elementary function has this property, but a good solution is the gamma function f ( x ) = Γ ( x + 1 ) {\displaystyle
Gamma_function
Study of Galois symmetry groups of differential fields
integral of an elementary function may be a non-elementary function. A well known example is the indefinite integral of the elementary function e − x 2 {\displaystyle
Differential_Galois_theory
Mathematical function such that every output has at least one input
surjective function (also known as surjection, or onto function /ˈɒn.tuː/) is a function f such that, for every element y of the function's codomain, there
Surjective_function
Programming language
(L2, L3), the Presburger-definable functions are computable at nesting depth 1, and the Kalmár elementary functions at depth 2. Without predecessor (L0
LOOP_(programming_language)
3-volume treatise on mathematics, 1910–1913
72. If φp and ψp are elementary propositional functions which take elementary propositions as arguments, φp ∨ ψp is an elementary proposition. Pp Together
Principia_Mathematica
Replacing a number with a simpler value
2005-02-07. mathlib on GitHub. "libultim – ultimate correctly-rounded elementary-function library". Archived from the original on 2021-03-01. "Git - glibc
Rounding
Mathematical set containing no elements
exists precisely one function f {\displaystyle f} from ∅ {\displaystyle \varnothing } to A , {\displaystyle A,} the empty function. As a result, the empty
Empty_set
Collection of sets in mathematics that can be defined based on a property of its members
"classes". In ZF, the concept of a function can also be generalised to classes. A class function is not a function in the usual sense, since it is not
Class_(set_theory)
Method for evaluating indefinite integrals
procedure, because it is a method for deciding whether a function has an elementary function as an indefinite integral, and if it does, for determining
Risch_algorithm
Function that preserves distinctness
In mathematics, an injective function (also known as injection, or one-to-one function) is a function f that maps distinct elements of its domain to distinct
Injective_function
Topics referred to by the same term
Elementary function Element (disambiguation) Elemental (disambiguation) This disambiguation page lists articles associated with the title Elementary. If an
Elementary
Mathematical-logic system based on functions
as λ-calculus) is a formal system for expressing computation based on function abstraction and application using variable binding and substitution. Untyped
Lambda_calculus
Set of the elements not in a given subset
converse relations, complementary relations and the algebra of sets are the elementary operations of the calculus of relations. In the LaTeX typesetting language
Complement_(set_theory)
Symbol representing a property or relation in logic
predicates are understood to be characteristic functions or set indicator functions (i.e., functions from a set element to a truth value). Set-builder
Predicate_(logic)
Mathematical problem
one must have either 11 or 12 elements. Elementary function – Type of mathematical function Elementary function arithmetic – System of arithmetic in proof
Tarski's high school algebra problem
Tarski's_high_school_algebra_problem
encountered mathematical objects include numbers, expressions, shapes, functions, and sets. Mathematical objects can be very complex; for example, theorems
Mathematical_object
Mathematical use of "there exists"
union of sets. A quantified propositional function is a statement; thus, like statements, quantified functions can be negated. The ¬ {\displaystyle \lnot
Existential_quantification
Concept in model theory
in M. If N is an elementary substructure of M, then M is called an elementary extension of N. An embedding h: N → M is called an elementary embedding of N
Elementary_equivalence
Impossible task in computing
that the intuitive notion of "effectively calculable" is captured by the functions computable by a Turing machine (or equivalently, by those expressible
Entscheidungsproblem
Logical incompatibility between two or more propositions
tautology. When Emil Post, in his 1921 "Introduction to a General Theory of Elementary Propositions", extended his proof of the consistency of the propositional
Contradiction
Paradox in set theory
the function F(fx) could be its own argument: in that case there would be a proposition F(F(fx)), in which the outer function F and the inner function F
Russell's_paradox
Value indicating the relation of a proposition to truth
Boolean domain. Corresponding semantics of logical connectives are truth functions, whose values are expressed in the form of truth tables. Logical biconditional
Truth_value
Statement that is taken to be true
{\displaystyle 0} is a constant symbol and S {\displaystyle S} is a unary function and the following axioms: ∀ x . ¬ ( S x = 0 ) {\displaystyle \forall x
Axiom
Problem in computer science
Unsolvable Problem of Elementary Number Theory", which proposes that the intuitive notion of an effectively calculable function can be formalized by the
Halting_problem
Undecidability of equality of real numbers
sine function entirely. Constant problem – Problem of deciding whether an expression equals zero Elementary function – Type of mathematical function Tarski's
Richardson's_theorem
Mathematical operation with two operands
arity two. More specifically, a binary operation on a set is a binary function that maps every pair of elements of the set to an element of the set. Examples
Binary_operation
Mathematical set containing all objects
but this is not possible for Oberschelp's, since in it the singleton function is provably a set, which leads immediately to paradox in New Foundations
Universal_set
Sigmoid shape special function
mathematics, the error function (also called the Gauss error function), often denoted by e r f {\displaystyle \mathbf {erf} } , is the function erf ( z ) = 2
Error_function
Infinite cardinal number
defined either as an extreme limit of the real number line (applied to a function or sequence that "diverges to infinity" or "increases without bound"),
Aleph_number
Infinite set that is not countable
and only if any of the following conditions hold: There is no injective function (hence no bijection) from X to the set of natural numbers. X is nonempty
Uncountable_set
Mathematical use of "for all"
found in the Quantifier article. The negation of a universally quantified function is obtained by changing the universal quantifier into an existential quantifier
Universal_quantification
One-to-one correspondence
must not be confused with one-to-one function, which means injective but not necessarily surjective. The elementary operation of counting establishes a
Bijection
Integral of the Gaussian function, equal to sqrt(π)
statistical mechanics, to find its partition function. Although no elementary function exists for the error function, as can be proven by the Risch algorithm
Gaussian_integral
Collection of mathematical objects
symbols, points in space, lines, other geometric shapes, variables, functions, or even other sets. Mathematics typically does not define precisely what
Set_(mathematics)
Elementary functions and their finitely iterated integrals
Liouvillian functions comprise a set of functions including the elementary functions and their repeated integrals. Liouvillian functions can be recursively
Liouvillian_function
Indefinite integral
many elementary functions whose antiderivatives, even though they exist, cannot be expressed in terms of elementary functions. Elementary functions are
Antiderivative
Additional mathematical object
preserve algebraic structures; continuous functions, which preserve topological structures; and differentiable functions, which preserve differential structures
Mathematical_structure
Mathematical set of all subsets of a set
demonstrated below. An indicator function or a characteristic function of a subset A of a set S with the cardinality |S| = n is a function from S to the two-element
Power_set
Class of formal logics
a special case. It explains the quantifiers in terms of mathematical functions. It was also the first logic capable of dealing with the problem of multiple
Classical_logic
Yes-or-no question that cannot ever be solved by a computer
answer. Such a problem is said to be undecidable if there is no computable function that correctly answers every question in the problem set. The connection
Undecidable_problem
Branch of mathematics that studies sets
} . The entire von Neumann universe is denoted V {\displaystyle V} . Elementary set theory can be studied informally and intuitively, and so can be taught
Set_theory
Set of elements common to all of some sets
ISBN 0-13-181629-2. Rosen, Kenneth (2007). "Basic Structures: Sets, Functions, Sequences, and Sums". Discrete Mathematics and Its Applications (Sixth ed
Intersection_(set_theory)
Syntactically correct logical formula
constant symbols, predicate symbols, and function symbols of the theory at hand, along with the arities of the function and predicate symbols. The definition
Well-formed_formula
Symbol representing a mathematical concept
systems particularly mathematical logic, a function symbol is a non-logical symbol which represents a function or mapping on the domain of discourse, though
Function_symbol
Special mathematical function
reduce to an elementary function such as the natural logarithm or a rational function. In quantum statistics, the polylogarithm function appears as the
Polylogarithm
Input to a mathematical function
of a function is a value provided to obtain the function's result. It is also called an independent variable. For example, the binary function f ( x
Argument_of_a_function
In logic, a statement which is always true
be deduced from the truth or falsity of each variable. A valuation is a function that assigns each propositional variable to either T (for truth) or F (for
Tautology_(logic)
Process of repeating items in a self-similar way
where a function being defined is applied within its own definition. While this apparently defines an infinite number of instances (function values),
Recursion
Relationship where one statement follows from another
algebraic logic Ampheck Boolean algebra (logic) Boolean domain Boolean function Boolean logic Causality Deductive reasoning Logic gate Logical graph Peirce's
Logical_consequence
Standard system of axiomatic set theory
exists a function f {\displaystyle f} from X {\displaystyle X} to the union of the members of X {\displaystyle X} , called a "choice function", such that
Zermelo–Fraenkel_set_theory
Computation model defining an abstract machine
can be moved back and forth through the machine, this being one of the elementary operations of the machine. Any symbol on the tape may therefore eventually
Turing_machine
Algebraic manipulation of "true" and "false"
mathematical logic, Boolean algebra is a branch of algebra. It differs from elementary algebra in two ways. First, the values of the variables are the truth
Boolean_algebra
Subset of a function's codomain
a function may refer either to the codomain of the function, or the image of the function. In some cases the codomain and the image of a function are
Range_of_a_function
Logical principle
significance of the principle of excluded middle in mathematics, especially in function theory [reprinted with commentary, p. 334, van Heijenoort] Andrei Nikolaevich
Law_of_excluded_middle
Argument whose conclusion must be true if its premises are
classical logic. However, within that system 'true' and 'false' essentially function more like mathematical states such as binary 1s and 0s than the philosophical
Validity_(logic)
Arithmetic operation
one; however, unlike the operations before it, tetration is not an elementary function. The parameter a {\displaystyle a} is referred to as the base, while
Tetration
Ordered listing of items in collection
if there exists an injective function from it into the natural numbers. The natural numbers are enumerable by the function f(x) = x. In this case f : N
Enumeration
Complexity class used to classify decision problems
and PH ⊆ BPP. NP is a class of decision problems; the analogous class of function problems is FNP. The only known strict inclusions come from the time hierarchy
NP_(complexity)
Theorem that arithmetical truth cannot be defined in arithmetic
but not over sets or functions of natural numbers. The theory is strong enough to describe recursively defined integer functions such as exponentiation
Tarski's undefinability theorem
Tarski's_undefinability_theorem
In mathematics, a statement that has been proven
proposition is a theorem of lesser importance, or one that is considered so elementary or immediately obvious, that it may be stated without proof. This should
Theorem
Limitative results in mathematical logic
Theorem: "Any consistent formal system F within which a certain amount of elementary arithmetic can be carried out is incomplete; i.e. there are statements
Gödel's incompleteness theorems
Gödel's_incompleteness_theorems
Theorem for proving more complex theorems
Often, a theorem is broken into multiple cases (for example, a quadratic function may have no real roots, one double root, or two distinct roots), and each
Lemma_(mathematics)
Proof that only uses basic techniques
existence of iterated exponential functions that cannot be proven in this theory. Diamond, Harold G. (1982), "Elementary methods in the study of the distribution
Elementary_proof
Diagram that shows all possible logical relations between a collection of sets
by John Venn (1834–1923) in the 1880s. The diagrams are used to teach elementary set theory, and to illustrate simple set relationships in probability
Venn_diagram
Type of infinite number in set theory
iff ω < κ and for all α < κ, for every function from Vα to κ, there is β < κ such that the image of the function is a subset of β. Similarly, an ordinal
Inaccessible_cardinal
Mathematical functions having established names and notations
integrals of elementary functions. Therefore, tables of integrals usually include descriptions of special functions, and tables of special functions include
Special_functions
Branch of mathematical logic
of the interpretation one usually obtains the result that any recursive function whose totality can be proven either in I or in C is represented by a term
Proof_theory
Limit of the tangent line at a point that tends to infinity
=\lim _{x\to \pm \infty }{\frac {1}{x}}=0.} The asymptotes of many elementary functions can be found without the explicit use of limits (although the derivations
Asymptote
Mathematical function, denoted exp(x) or e^x
In mathematics, the exponential function is the unique real function which maps zero to one and has a derivative everywhere equal to its value. It is denoted
Exponential_function
Whether a decision problem has an effective method to derive the answer
a predicate symbol of arity no less than 2, or two unary function symbols, or one function symbol of arity no less than 2, established by Trakhtenbrot
Decidability_(logic)
Size of a possibly infinite set
A . {\displaystyle \#A.} Cardinality is defined in terms of bijective functions. Two sets have the same cardinality if, and only if, there is a one-to-one
Cardinal_number
Function computable with bounded loops
In computability theory, a primitive recursive function is, roughly speaking, a function that can be computed by a computer program whose loops are all
Primitive_recursive_function
Mathematical function, inverse of an exponential function
summands n is large enough. In elementary calculus, the series is said to converge to the function ln(z), and the function is the limit of the series. It
Logarithm
Set of sentences in a formal language
These initial statements are often called the primitive elements or elementary statements of the theory—to distinguish them from other statements that
Theory_(mathematical_logic)
Mathematical concept
Recursion Theorem (version 2). Given a set g1, and class functions G2, G3, there exists a unique function F: Ord → V such that F(0) = g1, F(α + 1) = G2(F(α))
Transfinite_induction
Axiom of set theory
states that a choice function exists for any countable family of nonempty sets. These axioms are sufficient for many proofs in elementary mathematical analysis
Axiom_of_choice
Yes/no problem in computer science
function problem can be turned into a decision problem; the decision problem is just the graph of the associated function. (The graph of a function f
Decision_problem
Fundamental trigonometric functions
with modulus k {\displaystyle k} . It cannot be expressed using elementary functions. In the case of a full period, its arc length is L = 4 2 π 3 Γ (
Sine_and_cosine
Non-contradiction of a theory
Heijenoort's commentary and Post's 1931 Introduction to a general theory of elementary propositions in van Heijenoort 1967, pp. 264ff. Also Tarski 1946, pp. 134ff
Consistency
Operation in mathematical calculus
the antiderivative of an elementary function is elementary and to compute the integral if is elementary. However, functions with closed expressions of
Integral
Solution of a confluent hypergeometric equation
Kummer functions, Whittaker functions, and Coulomb wave functions are essentially the same, and differ from each other only by elementary functions and change
Confluent hypergeometric function
Confluent_hypergeometric_function
Function in mathematical logic
In mathematical logic, a Gödel numbering is a function that assigns to each symbol and well-formed formula of some formal language a unique natural number
Gödel_numbering
ELEMENTARY FUNCTION
ELEMENTARY FUNCTION
Male
Egyptian
, an Egyptian functionary.
Male
Egyptian
, Functionary of the Interior.
Surname or Lastname
English
English : occupational name for a dresser of cloth, Old English fullere (from Latin fullo, with the addition of the English agent suffix). The Middle English successor of this word had also been reinforced by Old French fouleor, foleur, of similar origin. The work of the fuller was to scour and thicken the raw cloth by beating and trampling it in water. This surname is found mostly in southeast England and East Anglia. See also Tucker and Walker.In a few cases the name may be of German origin with the same form and meaning as 1 (from Latin fullare).Americanized version of French Fournier.Samuel Fuller (1589–1633), born in Redenhall, Norfolk, England, was among the Pilgrim Fathers who sailed on the Mayflower in 1620. He was a deacon of the church and until his death functioned as Plymouth Colony’s physician.
Male
Egyptian
, the son of the functionary Heknofre.
Biblical
Look for pages within Wikipedia that link to this title
If a page was recently created here it may not be visible yet because of a delay in updating the database; wait a few minutes or try the function.
Look for pages within Wikipedia that link to this title
Surname or Lastname
English (chiefly Kent and Sussex)
English (chiefly Kent and Sussex) : occupational name for a designer or engineer, from a Middle English reduced form of Old French engineor ‘contriver’ (a derivative of engaigne ‘cunning’, ‘ingenuity’, ‘stratagem’, ‘device’). Engineers in the Middle Ages were primarily designers and builders of military machines, although in peacetime they might turn their hands to architecture and other more pacific functions.German : from the Latin personal name Januarius (see January 1). Jänner is a South German word for ‘January’, and so it is possible that this is one of the surnames acquired from words denoting months of the year, for example by converts who had been baptized in that month, people who were born or baptized in that month, or people whose taxes were due in January.
Male
Egyptian
, a great functionary.
Surname or Lastname
English
English : nickname from the animal, Middle English catte ‘cat’. The word is found in similar forms in most European languages from very early times (e.g. Gaelic cath, Slavic kotu). Domestic cats were unknown in Europe in classical times, when weasels fulfilled many of their functions, for example in hunting rodents. They seem to have come from Egypt, where they were regarded as sacred animals.English : from a medieval female personal name, a short form of Catherine.Variant spelling of German and Dutch Katt.
Male
Egyptian
, a high Egyptian functionary.
Boy/Male
Buddhist, Indian, Japanese
Mysterious Function
Surname or Lastname
English
English : topographic name for someone who lived by the gates of a medieval walled town. The Middle English singular gate is from the Old English plural, gatu, of geat ‘gate’ (see Yates). Since medieval gates were normally arranged in pairs, fastened in the center, the Old English plural came to function as a singular, and a new Middle English plural ending in -s was formed. In some cases the name may refer specifically to the Sussex place Eastergate (i.e. ‘eastern gate’), known also as Gates in the 13th and 14th centuries, when surnames were being acquired.Americanized spelling of German Götz (see Goetz).Translated form of French Barrière (see Barriere).In New England, Gates was the preferred English version of the name of an extensive French family, called Barrière dit Langevin.
Male
Celtic
, great justiciary, or functionary.
Male
Egyptian
, an Egyptian functionary.
ELEMENTARY FUNCTION
ELEMENTARY FUNCTION
Girl/Female
Muslim/Islamic
Just Honest, Equal, Upright
Boy/Male
Hindu
Lord Krishna
Girl/Female
Hindu, Indian, Tamil
Golden Girl; Precious
Biblical
blackness; heat
Girl/Female
Indian
Honest
Girl/Female
Tamil
Love, Merciful or compassionate
Boy/Male
Tamil
Purohith | பà¯à®°à¯‹à®¹à®¿à®¤
A brahmin priest
Male
Russian
(ВанÑ) Pet form of Russian Ivan, VANYA means "God is gracious."Â
Boy/Male
Hindu, Indian, Marathi, Traditional
Lord Shiva
Boy/Male
Hindu, Indian, Marathi
Powerful; Mighty
ELEMENTARY FUNCTION
ELEMENTARY FUNCTION
ELEMENTARY FUNCTION
ELEMENTARY FUNCTION
ELEMENTARY FUNCTION
n.
An elementary piece of the mechanism of a lock.
n.
Elementariness.
a.
Regulative.
a.
Pertaining to rudiments or first principles; rudimentary; elementary.
adv.
According to elements; literally; as, the words, "Take, eat; this is my body," elementally understood.
n.
The doctrine of the elementary requisites of mere thought.
a.
Pertaining to aliment or food, or to the function of nutrition; nutritious; alimental; as, alimentary substances.
a.
Pertaining to, or treating of, the elements, rudiments, or first principles of anything; initial; rudimental; introductory; as, an elementary treatise.
n.
The whole alimentary, or enteric, canal.
a.
Pertaining to the elements, first principles, and primary ingredients, or to the four supposed elements of the material world; as, elemental air.
a.
Elementary.
a.
Relating to hypostasis, or substance; hence, constitutive, or elementary.
a.
Having only one principle or constituent part; consisting of a single element; simple; uncompounded; as, an elementary substance.
a.
Combined with arsenic; -- said some elementary substances or radicals; as, arseniureted hydrogen.
a.
Elementary.
n.
The state of being elementary; original simplicity; uncompounded state.
a.
Elementary; rudimental.
n.
Unorganized material; elementary matter.
a.
Pertaining to one of the four elements, air, water, earth, fire.
a.
Capable of being leased; held by tenants.