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 inputtype. 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 Dft x = bottom otherwise

where lift(C) = C U bottom. Bottom (LaTeX \\perp)denotes "undefined".

单词	partial function
释义	partial function 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 inputtype. 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 Dft x = bottom otherwise where lift(C) = C U bottom. Bottom (LaTeX \\perp)denotes "undefined".
随便看	kotliakov, vladimir mikhailovich kotli, alar kotli, alar iukhanovich kotliarevskii, ivan kotliarevskii, ivan petrovich kotliarevskii, nestor kotliarevskii, nestor aleksandrovich kotliarevskii, petr kotliarevskii, petr stepanovich kotliar, leontii kotliar, leontii zakharovich kotlik, alaska kotlin kotlin island kotm kotmf kotnr koto kotoc kotoite kotoko kotoku, denjiro koton, mikhail koton, mikhail mikhailovich kotopita