検索結果- 英語 - 英語
検索内容:
model aircraft
noun
dispersive model
noun
conservative model
relational model
utility model
noun
Kripke model
noun
(logic)
A
Kripke
frame
together
with
either
one
of
the
following:
(1)
a
function
associating
each
of
the
frame's
worlds
to
a
set
of
prime
formulae
which
are
"true"
for
the
given
world,
(2)
a
function
associating
each
prime
formula
to
a
set
of
worlds
for
which
the
prime
formula
is
"true",
(3)
a
forcing
relation
between
worlds
and
prime
formulae.
Additionally,
there
is
a
set
of
rules
for
deducing
(from
the
given
function
or
relation)
what
formulae
are
forced
to
be
true
by
a
given
world.
(The
set
of
rules
depends
on
which
logic
the
Kripke
model
is
being
applied
to,
whether
one
of
several
modal
logics
or
intuitionistic
logic).
bootstrap model
noun
cobweb model
noun
(economics)
An
economic
model
that
ascribes
the
periodic
price
fluctuations
in
certain
types
of
market
to
cyclical
supply
and
demand
where
the
amount
produced
must
be
chosen
before
prices
are
observed,
and
producers'
expectations
about
prices
are
assumed
to
be
based
on
observations
of
previous
prices.
hand model
Ising model
loading!
Loading...