slovodefinícia
extensional
(encz)
extensional,rozšiřující adj: Zdeněk Brož
Extensional
(gcide)
Extensional \Ex*ten"sion*al\, a.
Having great extent.
[1913 Webster]
extensional
(wn)
extensional
adj 1: defining a word by listing the class of entities to which
the word correctly applies
extensional
(foldoc)
extensional

Extensional properties, e.g. extensional equality, relate to
the "black-box" behaviour of an object, i.e. how its output
depends on its input. The opposite is intensional which
concerns how the object is implemented.
podobné slovodefinícia
extensional
(encz)
extensional,rozšiřující adj: Zdeněk Brož
extensionally
(encz)
extensionally,
extensional
(wn)
extensional
adj 1: defining a word by listing the class of entities to which
the word correctly applies
extensional
(foldoc)
extensional

Extensional properties, e.g. extensional equality, relate to
the "black-box" behaviour of an object, i.e. how its output
depends on its input. The opposite is intensional which
concerns how the object is implemented.
extensional equality
(foldoc)
extensional equality
extensionality

(Or extensionality). Functions, f and g are extensionally
equal if and only if

f x = g x for all x.

where "=" means both expressions fail to terminate (under some
given reduction strategy) or they both terminate with the
same basic value.

Two functions may be extensionally equal but not
inter-convertible (neither is reducible to the other). E.g.
\ x . x+x and \ x . 2*x. See also {observational
equivalence}, referential transparency.
extensionality
(foldoc)
extensional equality
extensionality

(Or extensionality). Functions, f and g are extensionally
equal if and only if

f x = g x for all x.

where "=" means both expressions fail to terminate (under some
given reduction strategy) or they both terminate with the
same basic value.

Two functions may be extensionally equal but not
inter-convertible (neither is reducible to the other). E.g.
\ x . x+x and \ x . 2*x. See also {observational
equivalence}, referential transparency.

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