partial function

Also found in: Wikipedia

0.01 sec.

partial function [′pär·shəl ′fəŋk·shən]

(computer science)

A partial function from a setAto a setBis a correspondence between some subset ofAandBwhich associates with each element of the subset ofAa unique element ofB.

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".

Want to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit the webmaster's page for free fun content.

?Page tools

Printer friendly
Cite / link

Feedback

Mentioned in	?		References in periodicals archive	?		Encyclopedia browser	?		Full browser	?
No references found			The variable file is used as a partial function to associate the file name and its contents. Refinement in formal proof of equivalence in morphisms over strongly ... by Zafar, Nazir Ahmad; Hussain, Ajmal; Ali, Amir / Journal of Software Engineering and Applications (JSEA) Very small improvements and recovery of partial function can be gained as a result of ongoing specialist therapy and treatment for brain injury. Seeking Brain Injury Compensation by N Glover / Law community Demo license: This license allows end users to demonstrate the software with partial function or certain period. On Hardware-Based Software Licensing Key by Rebecca Hilton / Biological sciences community			parti Parti Québécois parti-colored buoy parti-coloured partial partial bulkhead partial carry partial Cauchy surface partial cleavage partial coherence partial common battery partial condensation partial correlation partial correlation analysis partial correlation coefficient partial cover plate partial derivative partial differential equation Partial Differential Equation LANguage Partial Discharge partial dislocation partial eclipse partial equivalence relation partial evaluation partial fractions partial function partial key partial molal quantity partial molar volume partial node partial nucleate boiling partial obscuration partial occupancy partial order partial ordering partial partition partial payment partial pediment partial penetration partial plane partial pluton partial potential temperature Partial Pressure partial pressure suit partial prestressing partial product partial recursive function partial regression coefficient partial release Partial Response Maximum Likelihood partial sum			Partial equivalence relation Partial evaluation Partial evaluation Partial Evaluation and Program Manipulation Partial Evaluation and Program Transformation Partial Evaluation and Semantics-based Program Manipulation partial excuse partial execution Partial Executions Partial Expiratory Flow-Volume Partial External Biliary Diversion Partial Factor Productivity Partial Fail Partial Failure of Passive Transfer Partial Fetal Alcohol Syndrome Partial File Sharing Protocol Partial First Order Logic Partial Fog Partial Foldover of Subplot partial fraction partial fraction Partial fraction expansion Partial fraction expansion Partial fractions Partial fractions Partial Fractions Decomposition Partial Frame Image Partial Frontolateral Laryngectomy With Epiglottic Reconstruction partial function Partial functions Partial game tree Partial Growth Hormone Deficiency Partial Hallel Partial Hallel partial heart block partial heart block partial heart block partial heart block partial heart block Partial Hepatectomy Partial hospitalization Partial hospitalization Partial hospitalization Partial hospitalization program Partial hospitalization program Partial Hydrolytic Polyacrylamide partial hysterectomy partial hysterectomy partial hysterectomy Partial I/O partial ileal bypass partial ileal bypass partial ileal bypass partial ileal bypass partial immortalization Partial Inductance Matrix Partial indulgence Partial indulgence Partial indulgence

Encyclopedia

Free Tools:	For surfers: Free toolbar & extensions \| Word of the Day \| Help For webmasters: Free content \| Linking \| Lookup box \| Double-click lookup

Disclaimer
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.