partial function


Also found in: Wikipedia.

partial function

[′pär·shəl ′fəŋk·shən]
(computer science)
A partial function from a set A to a set B is a correspondence between some subset of A and B which associates with each element of the subset of A a unique element of B.

partial function

A function which is not defined for all arguments of its input type. E.g.

f(x) = 1/x if x /= 0.

The opposite of a total function. In denotational semantics, a partial function

f : D -> C

may be represented as a total function

ft : D' -> lift(C)

where D' is a superset of D and

ft x = f x if x in D ft x = bottom otherwise

where lift(C) = C U bottom. Bottom (LaTeX \perp) denotes "undefined".
References in periodicals archive ?
University of Illinois scientists have also discovered why it happens: soy restores partial function of that organ's key signalling pathway.
After the concepts and theories are introduced, the equivalence of computable partial function and recursive partial function are demonstrated, in part through proofs of the unsolvability of the halting problem and of the enumeration theorem.
W is a partial function from set IxTm where W[i,t] is a quintuple <U[i], [[sigma][i,t].
0], W>, thus, is a partial function Dyn which maps a (potential) information state [W.
1), where mi is the number of partial solutions, for partial function i.
That figure is dramatically reduced for people who have partial function, with current estimates in the $650,000 range.
Although the procedure has a high success rate--88% of the grafts retain at least partial function beyond 5 years--it is not practical in Japan, where the concept of cadaveric organ transplantation is only now gaining public support.
By a partial function we mean a relation that fails to be a function because it is not aplicable for certain arguments in the domain.
Precondition for a partial function in the ring example.
In this case we should define function send as a partial function using the precondition shown in figure 5.
In some diseases, such as DMD, skipping an exon can restore a proper RNA reading frame and restore at least partial function of the protein to overcome the devastating clinical consequences of the mutation.
Partial functions of the Personnel and Labor Affairs Dept.

Full browser ?