partial function
(redirected from Partial mapping)

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	?		Encyclopedia browser	?		Full browser	?
No references found			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 mapping 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 System			Partial Joint Penetration partial key Partial Knee Resurfacing Partial Labyrinthectomy Petrous Apicectomy Partial Law of Information Rates Partial least squares Partial Least Squares Discriminant Analysis Partial Least Squares Path Modeling Partial Least-Squares Difference Partial Least-Squares Regression Partial Lecithin-Cholesterol Acyltransferase Deciency Partial Left Heart Bypass partial lipodystrophy partial lipodystrophy partial lipodystrophy partial liquid ventilation partial liquid ventilation partial liquid ventilation partial liquid ventilation Partial Local Thermodynamic Equilibrium Partial Look-Ahead Partial Loss of Capacity Partial loss of hearing Partial loss of hearing Partial Lump Sum Partial Lump Sum Option Partial Lump-Sum Payment Partial lunar eclipse Partial lunar eclipse Partial MAC Partial mapping partial mastectomy partial mastectomy partial mastectomy Partial Measurement of Traffic Matrices Partial Medial Meniscectomy Partial Medical Restraint System Partial Mission Capable Both partial mission-capable partial mission-capable partial mission-capable, maintenance partial mission-capable, maintenance partial mission-capable, supply partial mission-capable, supply partial mobilization Partial Modal Assurance Criterion Partial Model Query Language partial molal quantity Partial molar volume Partial mole Partial mole Partial monosomy Partial monosomy Partial monosomy Partial Nail Avulsion Partial Neglect of Diatomic Differential Overlap Partial Neglect of Differential Overlap Partial nephrectomy Partial nephrectomy Partial nephrectomy Partial Net Area

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.

partial function (redirected from Partial mapping)

partial function
(redirected from Partial mapping)