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

plural of virtual function

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

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

plural of theta function