(object-oriented programming) Synonym of virtual method

(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.

plural of function overloading

(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).

(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).

(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.

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.

(computing) A function that modifies a file to make it assume the statistical properties of another file.

(computer science) The negative of the convex function.

(computer science) A mathematical function whose input is a set (usually of real numbers or a set of points in the Euclidean or some measure space), and whose output is usually a number.