Synonym of ceiling function

(mathematics) A function that maps a real number to the smallest integer that is no smaller than it.

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