Skorzystaj z wyszukiwarki lub indeksu alfabetycznego.
Przykłady: pci, /dev/null, functional unit, embedded system, pseudo-tty, nfs.
1 definition found
From The Free On-line Dictionary of Computing (05 January 2017) [foldoc]:
additive
A function f : X -> Y is additive if
for all Z <= X
f (lub Z) = lub f z : z in Z
(f "preserves lubs"). All additive functions defined over
cpos are continuous.
("<=" is written in LaTeX as \subseteq, "lub" as \sqcup ).
(1995-02-03)