(computing theory) One of the simplest and earliest examples of a total computable function that is not primitive recursive.

(object-oriented programming) Synonym of virtual method

plural of virtual function

plural of function overloading

(object-oriented programming) A feature that allows creating several functions or methods with the same name differing in the type of the input and the output parameters.

A function which is equal to 1 for all points in its domain which belong to a given set, and is equal to 0 for all points in the domain which do not belong to that given set.

plural of Lagrangian function

(logic) A function which replaces a variable bound by an existential quantifier which lies in the scope of an even number of logical negations; such function is a function of the remaining bound variables whose scope contain the given variable (being replaced).

(logic) A function which replaces a variable bound by a universal quantifier which lies in the scope of an even number of logical negations; such function is a function of the remaining bound variables whose scope contain the given variable (being replaced).

(mathematics) Any of a group of special functions of several complex variables, important in many areas, including the theories of abelian varieties and moduli spaces, and of quadratic forms.