(logic) A function which assigns a truth value to every well-formed formula, which is identical to the model's interpretation function when applied to atomic propositions, and which otherwise assigns a truth value recursively depending on the formula's top logical connective and the truth values of the subformulae surrounding that logical connective.

plural of Kelvin function

(mathematics) Any function of a polynomial whose greatest exponent is 4.

plural of Bessel function

(medicine) The remaining capacity of an organ or body part to fulfil its physiological activity; (especially) in the context of disease, ageing, or impairment.

(computing, database normalization) A constraint between two sets of attributes in a relation.

plural of function key

(mathematics) A function yielding the sum of the divisors of an integer. It is denoted by the Greek letter σ (sigma).

(mathematics) An element of the range of a function. (Or, employing the "machine" metaphor, it is one of the "outputs" of a function.)

(object-oriented programming) Synonym of virtual method