| slovo | definícia |
closure
(mass) | closure
- uzáver, uzávera, ukončiť |
closure
(encz) | closure,uzávěr n: [it.] Pavel Tišnovský Ivan Masár |
closure
(encz) | closure,uzávěr n: [mat.] Ivan Masár |
Closure
(gcide) | Closure \Clo"sure\ (kl[=o]"zh[-u]r; 135), n. [Of. closure, L.
clausura, fr. clauedere to shut. See Close, v. t.]
1. The act of shutting; a closing; as, the closure of a
chink.
[1913 Webster]
2. That which closes or shuts; that by which separate parts
are fastened or closed.
[1913 Webster]
Without a seal, wafer, or any closure whatever.
--Pope.
[1913 Webster]
3. That which incloses or confines; an inclosure.
[1913 Webster]
O thou bloody prison . . .
Within the guilty closure of thy walls
Richard the Second here was hacked to death. --Shak.
[1913 Webster]
4. A conclusion; an end. [Obs.] --Shak.
[1913 Webster]
5. (Parliamentary Practice) A method of putting an end to
debate and securing an immediate vote upon a measure
before a legislative body. It is similar in effect to the
previous question. It was first introduced into the
British House of Commons in 1882. The French word
cl[^o]ture was originally applied to this proceeding.
[1913 Webster]
6. (Math.) the property of being mathematically closed under
some operation; -- said of sets.
[PJC]
7. (Math.) the intersection of all closed sets containing the
given set.
[PJC]
8. (Psychol.) achievement of a sense of completeness and
release from tension due to uncertainty; as, the closure
afforded by the funeral of a loved one; also, the sense of
completion thus achieved.
[PJC] |
closure
(wn) | closure
n 1: approaching a particular destination; a coming closer; a
narrowing of a gap; "the ship's rapid rate of closing gave
them little time to avoid a collision" [syn: closing,
closure]
2: a rule for limiting or ending debate in a deliberative body
[syn: closure, cloture, gag rule, gag law]
3: a Gestalt principle of organization holding that there is an
innate tendency to perceive incomplete objects as complete
and to close or fill gaps and to perceive asymmetric stimuli
as symmetric [syn: closure, law of closure]
4: something settled or resolved; the outcome of decision
making; "they finally reached a settlement with the union";
"they never did achieve a final resolution of their
differences"; "he needed to grieve before he could achieve a
sense of closure" [syn: settlement, resolution,
closure]
5: an obstruction in a pipe or tube; "we had to call a plumber
to clear out the blockage in the drainpipe" [syn: blockage,
block, closure, occlusion, stop, stoppage]
6: the act of blocking [syn: blockage, closure, occlusion]
7: termination of operations; "they regretted the closure of the
day care center" [syn: closure, closedown, closing,
shutdown]
v 1: terminate debate by calling for a vote; "debate was
closured"; "cloture the discussion" [syn: closure,
cloture] |
closure
(foldoc) | closure
downward closed
upward closure
1. In a reduction system, a closure is a data
structure that holds an expression and an environment of
variable bindings in which that expression is to be evaluated.
The variables may be local or global. Closures are used to
represent unevaluated expressions when implementing
functional programming languages with lazy evaluation. In
a real implementation, both expression and environment are
represented by pointers.
A suspension is a closure which includes a flag to say
whether or not it has been evaluated. The term "thunk" has
come to be synonymous with "closure" but originated outside
functional programming.
2. In domain theory, given a {partially ordered
set}, D and a subset, X of D, the upward closure of X in D is
the union over all x in X of the sets of all d in D such that
x |
| | podobné slovo | definícia |
disclosure
(mass) | disclosure
- zverejnenie |
enclosure
(mass) | enclosure
- uzavretie, prizodzene uzavretý priestor, príloha |
closure by compartment
(encz) | closure by compartment, n: |
closure of a set
(encz) | closure of a set,uzávěr množiny Ivan Masár |
closures
(encz) | closures,uzávěry n: pl. Zdeněk Brožclosures,uzavírky n: pl. Zdeněk Brož |
disclosure
(encz) | disclosure,odhalení n: Zdeněk Broždisclosure,prozrazení Pavel Machek; Giza |
enclosure
(encz) | enclosure,ohrada n: Zdeněk Broženclosure,oplocený pozemek Zdeněk Broženclosure,příloha n: Zdeněk Brož |
enclosure act.
(encz) | Enclosure Act.,zákon o oplocení [eko.] RNDr. Pavel Piskač |
enclosure port
(encz) | enclosure port,vstup/výstup krytem [tech.] parkmaj |
foreclosure
(encz) | foreclosure,zabavení n: Zdeněk Brož |
gun enclosure
(encz) | gun enclosure, n: |
inclosure
(encz) | inclosure, |
law of closure
(encz) | law of closure, n: |
natural enclosure
(encz) | natural enclosure, n: |
Closure
(gcide) | Closure \Clo"sure\ (kl[=o]"zh[-u]r; 135), n. [Of. closure, L.
clausura, fr. clauedere to shut. See Close, v. t.]
1. The act of shutting; a closing; as, the closure of a
chink.
[1913 Webster]
2. That which closes or shuts; that by which separate parts
are fastened or closed.
[1913 Webster]
Without a seal, wafer, or any closure whatever.
--Pope.
[1913 Webster]
3. That which incloses or confines; an inclosure.
[1913 Webster]
O thou bloody prison . . .
Within the guilty closure of thy walls
Richard the Second here was hacked to death. --Shak.
[1913 Webster]
4. A conclusion; an end. [Obs.] --Shak.
[1913 Webster]
5. (Parliamentary Practice) A method of putting an end to
debate and securing an immediate vote upon a measure
before a legislative body. It is similar in effect to the
previous question. It was first introduced into the
British House of Commons in 1882. The French word
cl[^o]ture was originally applied to this proceeding.
[1913 Webster]
6. (Math.) the property of being mathematically closed under
some operation; -- said of sets.
[PJC]
7. (Math.) the intersection of all closed sets containing the
given set.
[PJC]
8. (Psychol.) achievement of a sense of completeness and
release from tension due to uncertainty; as, the closure
afforded by the funeral of a loved one; also, the sense of
completion thus achieved.
[PJC] |
Disclosure
(gcide) | Disclosure \Dis*clo"sure\ (?; 135), n. [See Disclose, v. t.,
and cf. Closure.]
1. The act of disclosing, uncovering, or revealing; bringing
to light; exposure.
[1913 Webster]
He feels it [his secret] beating at his heart,
rising to his throat, and demanding disclosure. --D.
Webster.
[1913 Webster]
2. That which is disclosed or revealed.
[1913 Webster]
Were the disclosures of 1695 forgotten? --Macaulay.
[1913 Webster] |
enclosure
(gcide) | Inclosure \In*clo"sure\ (?; 135), n. [See Inclose,
Enclosure.] [Written also enclosure.]
[1913 Webster]
1. The act of inclosing; the state of being inclosed, shut
up, or encompassed; the separation of land from common
ground by a fence.
[1913 Webster]
2. That which is inclosed or placed within something; a thing
contained; a space inclosed or fenced up.
[1913 Webster]
Within the inclosure there was a great store of
houses. --Hakluyt.
[1913 Webster]
3. That which incloses; a barrier or fence.
[1913 Webster]
Breaking our inclosures every morn. --W. Browne.
[1913 Webster]Enclosure \En*clo"sure\ (?; 135), n.
Inclosure. See Inclosure.
[1913 Webster]
Note: The words enclose and enclosure are written
indiscriminately enclose or inclose and enclosure or
inclosure.
[1913 Webster] |
Enclosure
(gcide) | Inclosure \In*clo"sure\ (?; 135), n. [See Inclose,
Enclosure.] [Written also enclosure.]
[1913 Webster]
1. The act of inclosing; the state of being inclosed, shut
up, or encompassed; the separation of land from common
ground by a fence.
[1913 Webster]
2. That which is inclosed or placed within something; a thing
contained; a space inclosed or fenced up.
[1913 Webster]
Within the inclosure there was a great store of
houses. --Hakluyt.
[1913 Webster]
3. That which incloses; a barrier or fence.
[1913 Webster]
Breaking our inclosures every morn. --W. Browne.
[1913 Webster]Enclosure \En*clo"sure\ (?; 135), n.
Inclosure. See Inclosure.
[1913 Webster]
Note: The words enclose and enclosure are written
indiscriminately enclose or inclose and enclosure or
inclosure.
[1913 Webster] |
Foreclosure
(gcide) | Foreclosure \Fore*clo"sure\ (?; 135), n.
The act or process of foreclosing; a proceeding which bars or
extinguishes a mortgager's right of redeeming a mortgaged
estate.
[1913 Webster] |
Inclosure
(gcide) | Inclosure \In*clo"sure\ (?; 135), n. [See Inclose,
Enclosure.] [Written also enclosure.]
[1913 Webster]
1. The act of inclosing; the state of being inclosed, shut
up, or encompassed; the separation of land from common
ground by a fence.
[1913 Webster]
2. That which is inclosed or placed within something; a thing
contained; a space inclosed or fenced up.
[1913 Webster]
Within the inclosure there was a great store of
houses. --Hakluyt.
[1913 Webster]
3. That which incloses; a barrier or fence.
[1913 Webster]
Breaking our inclosures every morn. --W. Browne.
[1913 Webster] |
angle-closure glaucoma
(wn) | angle-closure glaucoma
n 1: glaucoma in which the iris blocks the outflow of aqueous
humor; "closed-angle glaucoma can cause a rapid buildup of
high intraocular pressure that results in permanent visual
damage in a couple of days" [syn: acute glaucoma,
closed-angle glaucoma, angle-closure glaucoma] |
closure by compartment
(wn) | closure by compartment
n 1: closure imposed on the debate of specific sections of a
bill [syn: closure by compartment, guillotine] |
disclosure
(wn) | disclosure
n 1: the speech act of making something evident [syn:
disclosure, revelation, revealing] |
enclosure
(wn) | enclosure
n 1: a structure consisting of an area that has been enclosed
for some purpose
2: the act of enclosing something inside something else [syn:
enclosure, enclosing, envelopment, inclosure]
3: a naturally enclosed space [syn: enclosure, {natural
enclosure}]
4: something (usually a supporting document) that is enclosed in
an envelope with a covering letter [syn: enclosure,
inclosure] |
foreclosure
(wn) | foreclosure
n 1: the legal proceedings initiated by a creditor to repossess
the collateral for loan that is in default |
gun enclosure
(wn) | gun enclosure
n 1: a self-contained weapons platform housing guns and capable
of rotation [syn: gun enclosure, gun turret, turret] |
inclosure
(wn) | inclosure
n 1: something (usually a supporting document) that is enclosed
in an envelope with a covering letter [syn: enclosure,
inclosure]
2: the act of enclosing something inside something else [syn:
enclosure, enclosing, envelopment, inclosure] |
law of closure
(wn) | law of closure
n 1: a Gestalt principle of organization holding that there is
an innate tendency to perceive incomplete objects as
complete and to close or fill gaps and to perceive
asymmetric stimuli as symmetric [syn: closure, {law of
closure}] |
natural enclosure
(wn) | natural enclosure
n 1: a naturally enclosed space [syn: enclosure, {natural
enclosure}] |
closure conversion
(foldoc) | closure conversion
The transformation of continuation passing style
code so that the only free variables of functions are
names of other functions.
See also Lambda lifting.
(1994-12-16)
|
kleene closure
(foldoc) | Kleene star
Kleene closure
(Or "Kleene closure", named after Stephen Kleene) The
postfix "*" operator used in regular expressions,
Extended Backus-Naur Form and similar formalisms to specify
a match for zero or more occurrences of the preceding
expression. For example, the regular expression "be*t" would
match the string "bt", "bet", "beet", "beeeeet", and so on.
(2000-07-26)
|
reflexive transitive closure
(foldoc) | Reflexive transitive closure
Two elements, x and y, are related by the reflexive transitive
closure, R+, of a relation, R, if they are related by the
transitive closure, R*, or they are the same element.
|
transitive closure
(foldoc) | transitive closure
The transitive closure R* of a relation R is defined by
x R y => x R* y
x R y and y R* z => x R* z
I.e. elements are related by R* if they are related by R
directly or through some sequence of intermediate related
elements.
E.g. in graph theory, if R is the relation on nodes "has an
edge leading to" then the transitive closure of R is the
relation "has a path of zero or more edges to". See also
Reflexive transitive closure.
|
upward closure
(foldoc) | closure
downward closed
upward closure
1. In a reduction system, a closure is a data
structure that holds an expression and an environment of
variable bindings in which that expression is to be evaluated.
The variables may be local or global. Closures are used to
represent unevaluated expressions when implementing
functional programming languages with lazy evaluation. In
a real implementation, both expression and environment are
represented by pointers.
A suspension is a closure which includes a flag to say
whether or not it has been evaluated. The term "thunk" has
come to be synonymous with "closure" but originated outside
functional programming.
2. In domain theory, given a {partially ordered
set}, D and a subset, X of D, the upward closure of X in D is
the union over all x in X of the sets of all d in D such that
x |
ENCLOSURE
(bouvier) | ENCLOSURE. An artificial fence put around one's estate. Vide Close.
|
FORECLOSURE
(bouvier) | FORECLOSURE, practice. A proceeding in chancery, by which the mortgagor's
right of redemption of the mortgaged premises is barred or foreclosed
forever.
2. This takes place when the mortgagor has forfeited his estate by non-
payment of the money due on the mortgage at the time appointed, but still
retains the equity of redemption; in such case the mortgagee may file a
bill, calling on the mortgagor, in a court of equity, to redeem his estate
presently, or in default thereof, to be forever closed or barred from any
right of redemption.
3. In some cases, however, the mortgagee obtains a decree for a sale of
the land, under the direction of an officer of the court, in which case the
proceeds are applied to the discharge of encumbrances, according to their
priority. This practice has been adopted in Indiana, Kentucky, Maryland,
South Carolina, Tennessee, and Virginia. 4 Kent, Com., 180. When it is the
practice to foreclose without a sale, its severity is mitigated by enlarging
the time of redemption from six months to six months, or for shorter
periods, according to the equity arising from the circumstances. Id. Vide 2
John. Ch. R, 100; 6 Pick. R. 418; 1 Sumn. R. 401; 7 Conn. R. 152; 5 N; H.
Rep. 30; 1 Hayw. R. 482; 5 Han. R. 554; 5 Yerg. 240; 2 Pick. R. 40; 4 Pick.
R. 6; 2 Gallis. 154; 9 Cowen's R. 346; 4 Greenl. R. 495; Bouv. Inst. Index,
h.t.
|
|