slovo | definícia |
computation (encz) | computation,počítání [eko.] RNDr. Pavel Piskač |
computation (encz) | computation,výpočet Zdeněk Brož |
Computation (gcide) | Computation \Com`pu*ta"tion\, n. [L. computatio: cf. F.
computation.]
1. The act or process of computing; calculation; reckoning.
[1913 Webster]
By just computation of the time. --Shak.
[1913 Webster]
By a computation backward from ourselves. --Bacon.
[1913 Webster]
2. The result of computation; the amount computed.
[1913 Webster]
3. (Computers) The process of performing arithmetical or
logical operations, on data by an electronic device.
[PJC]
Syn: Reckoning; calculation; estimate; account.
[1913 Webster] |
computation (wn) | computation
n 1: the procedure of calculating; determining something by
mathematical or logical methods [syn: calculation,
computation, computing]
2: problem solving that involves numbers or quantities [syn:
calculation, computation, figuring, reckoning] |
COMPUTATION (bouvier) | COMPUTATION counting, calculation. It is a reckoning or ascertaining the
number of any thing.
2. It is sometimes used in the common law for the true reckoning or
account of time. Time is computed in two ways; first, naturally, counting
years, days and hours; and secondly, civilly, that is, that when the last
part of the time has once commenced, it is considered as accomplished.
Savig. Dr. Rom. Sec. 182. See Infant; Fraction. For the computation of a
year, see Com. Dig. Ann; of a mouth, Com. Dig. Temps. A; 1 John. Cas. 100 15
John. R. 120; 2 Mass. 170, n.; 4 Mass. 460; 4 Dall. 144; 3 S. & R. 169; of a
day, vide Day.; and 3, Burr 1434; 11 Mass. 204; 2 Browne, 18; Dig. 3, 4, 5;
Salk. 625; 3 Wils. 274.
3. It is a general rule that when an act is to be done within a certain
time, one day is to be taken inclusively, and one exclusively. Vide Lofft,
276; Dougl. 463; 2 Chit. Pr. 69; 3 Id. 108, 9; 3 T. R. 623; 2 Campb. R. 294;
4 Man. and Ryl. 300, n. (b) 5 Bingh. R. 339; S. C. 15, E. C. L. R. 462; 3
East, R. 407; Hob. 139; 4 Moore, R. 465; Har. Dig. Time, computation of; 3
T. R. 623; 5 T. R. 283; 2 Marsh. R. 41; 22 E. C. L. R. 270; 13, E, C. L. R.
238; 24 E. C. L. R. 53; 4 Wasb. C. C. R. 232; 1 Ma-son, 176; 1 Pet. 60; 4
Pet. 349; 9 Cranch, 104; 9 Wheat. 581. Vide Day; Hour; Month; Year.
|
| podobné slovo | definícia |
computational (encz) | computational,výpočetní adj: Zdeněk Brož |
computational linguist (encz) | computational linguist, n: |
computational linguistics (encz) | computational linguistics, n: |
computationally (encz) | computationally,výpočetně adv: Zdeněk Brož |
computations (encz) | computations,výpočty n: pl. Zdeněk Brož |
subcomputation (encz) | subcomputation, |
Computation (gcide) | Computation \Com`pu*ta"tion\, n. [L. computatio: cf. F.
computation.]
1. The act or process of computing; calculation; reckoning.
[1913 Webster]
By just computation of the time. --Shak.
[1913 Webster]
By a computation backward from ourselves. --Bacon.
[1913 Webster]
2. The result of computation; the amount computed.
[1913 Webster]
3. (Computers) The process of performing arithmetical or
logical operations, on data by an electronic device.
[PJC]
Syn: Reckoning; calculation; estimate; account.
[1913 Webster] |
computational (gcide) | computational \computational\ adj.
1. of or pertaining to computation (definition 3).
[WordNet 1.5 +PJC]
2. accomplished by a computer[2] or computation[3]; as,
computational linguistics; computational morphology.
[PJC] |
Miscomputation (gcide) | Miscomputation \Mis*com`pu*ta"tion\, n.
Erroneous computation; false reckoning.
[1913 Webster] |
computational (wn) | computational
adj 1: of or involving computation or computers; "computational
linguistics" |
computational linguist (wn) | computational linguist
n 1: someone trained in computer science and linguistics who
uses computers for natural language processing |
computational linguistics (wn) | computational linguistics
n 1: the use of computers for linguistic research and
applications |
computationally (wn) | computationally
adv 1: with regard to computation; "computationally, this is a
tricky problem" |
association for computational linguistics (foldoc) | Association for Computational Linguistics
(ACL) The international scientific and professional
society for people working on problems involving {natural
language} and computation. Membership includes the ACL
quarterly journal, "Computational Linguistics", reduced
registration at most ACL-sponsored conferences, discounts on
ACL-sponsored publications, and participation in ACL Special
Interest Groups. The ACL started in 1968; there are more
than 2000 members worldwide.
E-mail: .
(http://cs.columbia.edu/~acl/).
(1999-08-31)
|
block transfer computations (foldoc) | block transfer computations
(From the UK television series "Dr. Who")
Computations so fiendishly subtle and complex that they could
not be performed by machines. Used to refer to any task that
should be expressible as an algorithm in theory, but isn't.
[Jargon File]
(2004-09-28)
|
computational adequacy theorem (foldoc) | Computational Adequacy Theorem
This states that for any program (a non-function typed term in
the typed lambda-calculus with constants) {normal order
reduction} (outermost first) fails to terminate if and only if
the standard semantics of the term is bottom. Moreover,
if the reduction of program e1 terminates with some {head
normal form} e2 then the standard semantics of e1 and e2 will
be equal. This theorem is significant because it relates the
operational notion of a reduction sequence and the
denotational semantics of the input and output of a
reduction sequence.
|
computational complexity (foldoc) | computational complexity
The number of steps or arithmetic operations
required to solve a computational problem. One of the three
kinds of complexity.
(1996-04-24)
|
computational fluid dynamics (foldoc) | Computational Fluid Dynamics
CFD
(CFD) A Fortran-based parallel language for the
Illiac IV.
(1994-11-29)
|
computational geometry (foldoc) | computational geometry
The study of algorithms for combinatorial,
topological, and metric problems concerning sets of points,
typically in Euclidean space. Representative areas of
research include geometric search, convexity, proximity,
intersection, and linear programming.
(1997-08-03)
|
computational learning (foldoc) | grammatical inference
computational learning
inductive inference
Deducing a grammar from given examples. Also known as
"inductive inference" and recently as "computational
learning".
|
computational molecular biology (foldoc) | computational molecular biology
The area of bioinformatics concerning the use
of computers to characterise the molecular components of
living things.
(2005-01-07)
|
evolutionary computation (foldoc) | evolutionary computation
Computer-based problem solving systems that use computational
models of evolutionary processes as the key elements in design
and implementation.
A number of evolutionary computational models have been
proposed, including evolutionary algorithms, {genetic
algorithms}, the evolution strategy, {evolutionary
programming}, and artificial life.
{The Hitchhiker's Guide to Evolutionary Computation
(http://cis.ohio-state.edu/hypertext/faq/bngusenet/comp/ai/genetic/top.html)}.
{Bibliography
(http://liinwww.ira.uka.de/bibliography/Ai/EC-ref.html)}.
Usenet newsgroup: news:comp.ai.genetic.
(1995-03-02)
|
COMPUTATION (bouvier) | COMPUTATION counting, calculation. It is a reckoning or ascertaining the
number of any thing.
2. It is sometimes used in the common law for the true reckoning or
account of time. Time is computed in two ways; first, naturally, counting
years, days and hours; and secondly, civilly, that is, that when the last
part of the time has once commenced, it is considered as accomplished.
Savig. Dr. Rom. Sec. 182. See Infant; Fraction. For the computation of a
year, see Com. Dig. Ann; of a mouth, Com. Dig. Temps. A; 1 John. Cas. 100 15
John. R. 120; 2 Mass. 170, n.; 4 Mass. 460; 4 Dall. 144; 3 S. & R. 169; of a
day, vide Day.; and 3, Burr 1434; 11 Mass. 204; 2 Browne, 18; Dig. 3, 4, 5;
Salk. 625; 3 Wils. 274.
3. It is a general rule that when an act is to be done within a certain
time, one day is to be taken inclusively, and one exclusively. Vide Lofft,
276; Dougl. 463; 2 Chit. Pr. 69; 3 Id. 108, 9; 3 T. R. 623; 2 Campb. R. 294;
4 Man. and Ryl. 300, n. (b) 5 Bingh. R. 339; S. C. 15, E. C. L. R. 462; 3
East, R. 407; Hob. 139; 4 Moore, R. 465; Har. Dig. Time, computation of; 3
T. R. 623; 5 T. R. 283; 2 Marsh. R. 41; 22 E. C. L. R. 270; 13, E, C. L. R.
238; 24 E. C. L. R. 53; 4 Wasb. C. C. R. 232; 1 Ma-son, 176; 1 Pet. 60; 4
Pet. 349; 9 Cranch, 104; 9 Wheat. 581. Vide Day; Hour; Month; Year.
|
|