slovodefinícia
coalesced sum
(foldoc)		coalesced sum
smash sum

(Or "smash sum") In domain theory, the coalesced
sum of domains A and B, A (+) B, contains all the
non-bottom elements of both domains, tagged to show which
part of the sum they come from, and a new bottom element.

D (+) E = bottom(D(+)E)
U (0,d) | d in D, d /= bottom(D)
U (1,e) | e in E, e /= bottom(E)

The bottoms of the constituent domains are coalesced into a
single bottom in the sum. This may be generalised to any
number of domains.

The ordering is

bottom(D(+)E)
podobné slovodefinícia

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