Gratis ordbok - engelska svenska tyska lexikon

Definitioner

Adjektiv

1. Of a function, taking a finite number of arguments to produce an output.
2. (logic) Pertaining to finite-length proofs, each using a finite set of axioms.