| slovo | definícia |
in theory
(encz) | in theory, adv: |
in theory
(wn) | in theory
adv 1: with regard to fundamentals although not concerning
details; "in principle, we agree" [syn: in principle,
in theory, in essence] |
| | podobné slovo | definícia |
Side-chain theory
(gcide) | Side-chain theory \Side"-chain` the`o*ry\ (Physiol. Chem.)
A theory proposed by P. Ehrlich as a chemical explanation of
immunity phenomena. In brief outline it is as follows: Animal
cells and bacteria are complex aggregations of molecules,
which are themselves complex. Complex molecules react with
one another through certain of their side chains, but only
when these side chains have a definite correspondence in
structure (this accounts for the specific action of
antitoxins).
[Webster 1913 Suppl.] |
domain theory
(foldoc) | domain theory
A branch of mathematics introduced by Dana Scott in
1970 as a mathematical theory of programming languages, and
for nearly a quarter of a century developed almost exclusively
in connection with denotational semantics in computer
science.
In denotational semantics of programming languages, the
meaning of a program is taken to be an element of a domain. A
domain is a mathematical structure consisting of a set of
values (or "points") and an ordering relation, Y which is the set of
functions from domain X to domain Y with the ordering f D. The
equivalent equation has no non-trivial solution in {set
theory}.
There are many definitions of domains, with different
properties and suitable for different purposes. One commonly
used definition is that of Scott domains, often simply called
domains, which are omega-algebraic, consistently complete
CPOs.
There are domain-theoretic computational models in other
branches of mathematics including dynamical systems,
fractals, measure theory, integration theory,
probability theory, and stochastic processes.
See also abstract interpretation, bottom, {pointed
domain}.
(1999-12-09)
|
|