computable function

<logic> A total function for which there is an effective method for determining the value (output, member of the range), given the arguments (inputs, members of the domain).

Incomputable function

A function for which there is no such effective method.

[Glossary of First-Order Logic]

<2001-03-16>

Try this search on OneLook / Google

Nearby terms: compound proposition « computability theory « computable « computable function » computation » Computational Adequacy Theorem » computational architecture