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

(mathematics) The signum function.

(mathematics) a type of function used in the analysis of inhomogeneous differential equations.

(mathematics) A function that maps a real number to the largest integer that is not greater than it.

(mathematics, cryptography) A function that is easy to compute in one direction but difficult to compute in the opposite direction (finding its inverse) without special information.

(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

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