| slovo | definícia |
contraction
(mass) | contraction
- sťah, stiahnutie |
contraction
(encz) | contraction,kontrakce Mgr. Dita Gálová |
contraction
(encz) | contraction,smrštění n: Pino |
contraction
(encz) | contraction,stah n: Zdeněk Brož |
contraction
(encz) | contraction,stažení n: Zdeněk Brož |
Contraction
(gcide) | Contraction \Con*trac"tion\, n. [L. contractio: cf. F.
contraction.]
1. The act or process of contracting, shortening, or
shrinking; the state of being contracted; as, contraction
of the heart, of the pupil of the eye, or of a tendon; the
contraction produced by cold.
[1913 Webster]
2. (Math.) The process of shortening an operation.
[1913 Webster]
3. The act of incurring or becoming subject to, as
liabilities, obligation, debts, etc.; the process of
becoming subject to; as, the contraction of a disease.
[1913 Webster]
4. Something contracted or abbreviated, as a word or phrase;
-- as, plenipo for plenipotentiary; crim. con. for
criminal conversation, etc.
[1913 Webster]
5. (Gram.) The shortening of a word, or of two words, by the
omission of a letter or letters, or by reducing two or
more vowels or syllables to one; as, ne'er for never;
can't for can not; don't for do not; it's for it is.
[1913 Webster]
6. A marriage contract. [Obs.] --Shak.
[1913 Webster] |
contraction
(wn) | contraction
n 1: (physiology) a shortening or tensing of a part or organ
(especially of a muscle or muscle fiber) [syn:
contraction, muscular contraction, {muscle
contraction}]
2: the process or result of becoming smaller or pressed
together; "the contraction of a gas on cooling" [syn:
compression, condensation, contraction]
3: a word formed from two or more words by omitting or combining
some sounds; "`won't' is a contraction of `will not'";
"`o'clock' is a contraction of `of the clock'"
4: the act of decreasing (something) in size or volume or
quantity or scope [ant: enlargement, expansion] |
contraction
(foldoc) | reduction
contraction
(Or "contraction") The process of transforming an expression
according to certain reduction rules. The most important
forms are beta reduction (application of a {lambda
abstraction} to one or more argument expressions) and {delta
reduction} (application of a mathematical function to the
required number of arguments).
An evaluation strategy (or reduction strategy), determines
which part of an expression (which redex) to reduce first.
There are many such strategies.
See graph reduction, string reduction, {normal order
reduction}, applicative order reduction, {parallel
reduction}, alpha conversion, beta conversion, {delta
conversion}, eta conversion.
(1995-02-21)
|
CONTRACTION
(bouvier) | CONTRACTION. An abbreviation; a mode of writing or printing by which some of
the letters of a word are omitted. See Abbreviations.
|
| | podobné slovo | definícia |
contraction
(mass) | contraction
- sťah, stiahnutie |
contraction
(encz) | contraction,kontrakce Mgr. Dita Gálovácontraction,smrštění n: Pinocontraction,stah n: Zdeněk Brožcontraction,stažení n: Zdeněk Brož |
contractionary impulse
(encz) | contractionary impulse, |
contractionary policy
(encz) | contractionary policy, |
contractions
(encz) | contractions,stahy n: pl. Zdeněk Brož |
muscle contraction
(encz) | muscle contraction,svalová kontrakce n: Pino |
muscular contraction
(encz) | muscular contraction, n: |
premature ventricular contraction
(encz) | premature ventricular contraction, n: |
uterine contraction
(encz) | uterine contraction, n: |
braxton-hicks contraction
(wn) | Braxton-Hicks contraction
n 1: painless contractions of the muscles of the uterus that
continue throughout pregnancy with increasing frequency
[syn: Braxton-Hicks contraction, false labor] |
contraction
(wn) | contraction
n 1: (physiology) a shortening or tensing of a part or organ
(especially of a muscle or muscle fiber) [syn:
contraction, muscular contraction, {muscle
contraction}]
2: the process or result of becoming smaller or pressed
together; "the contraction of a gas on cooling" [syn:
compression, condensation, contraction]
3: a word formed from two or more words by omitting or combining
some sounds; "`won't' is a contraction of `will not'";
"`o'clock' is a contraction of `of the clock'"
4: the act of decreasing (something) in size or volume or
quantity or scope [ant: enlargement, expansion] |
muscle contraction
(wn) | muscle contraction
n 1: (physiology) a shortening or tensing of a part or organ
(especially of a muscle or muscle fiber) [syn:
contraction, muscular contraction, {muscle
contraction}] |
muscular contraction
(wn) | muscular contraction
n 1: (physiology) a shortening or tensing of a part or organ
(especially of a muscle or muscle fiber) [syn:
contraction, muscular contraction, {muscle
contraction}] |
premature ventricular contraction
(wn) | premature ventricular contraction
n 1: irregularity of cardiac rhythm; recurrent occurrences can
be a precursor of ventricular fibrillation [syn: {premature
ventricular contraction}, PVC] |
uterine contraction
(wn) | uterine contraction
n 1: a rhythmic tightening in labor of the upper uterine
musculature that contracts the size of the uterus and
pushes the fetus toward the birth canal |
contraction
(foldoc) | reduction
contraction
(Or "contraction") The process of transforming an expression
according to certain reduction rules. The most important
forms are beta reduction (application of a {lambda
abstraction} to one or more argument expressions) and {delta
reduction} (application of a mathematical function to the
required number of arguments).
An evaluation strategy (or reduction strategy), determines
which part of an expression (which redex) to reduce first.
There are many such strategies.
See graph reduction, string reduction, {normal order
reduction}, applicative order reduction, {parallel
reduction}, alpha conversion, beta conversion, {delta
conversion}, eta conversion.
(1995-02-21)
|
CONTRACTION
(bouvier) | CONTRACTION. An abbreviation; a mode of writing or printing by which some of
the letters of a word are omitted. See Abbreviations.
|
|