| slovo | definícia |
partial function
(foldoc) | 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".
(1995-02-03)
|
| |
Nenašli ste slovo čo ste hľadali ? Doplňte ho do slovníka.
na vytvorenie tejto webstránky bol pužitý dictd server s dátami z sk-spell.sk.cx a z iných voľne dostupných dictd databáz. Ak máte klienta na dictd protokol (napríklad kdict), použite zdroj slovnik.iz.sk a port 2628.
online slovník, sk-spell - slovníkové dáta, IZ Bratislava, Malé Karpaty - turistika, Michal Páleník, správy, údaje o okresoch V4