「First-Order」の共起表現(1語右で並び替え)

意味
共起
表現

「First-Order」の共起表現一覧(1語右で並び替え)

First-Order

1語右で並び替え

該当件数:110件

If not, Kalman filter based methods are a first-order approximation (EKF) or a second-order appro
Metamatemathics of First-Order Arithmetic.
Gandalf is a first-order automated theorem prover applied to several
Def 1 appeared first historically and is a first-order axiomatization of the ordering ≤ as a binar
As most first-order calculi, superposition tries to show the un
Pointwise circumscription is a variant of first-order circumscription that has been introduced by
The expression for the first-order correction to the wavefunction is therefore
The definition given above is not a first-order definition, as it requires quantifiers over
first-order differential equations given as 1-forms) we
session is limited to 50, and the number of first-order differential equations cannot exceed 30.
ass filter is double the phase shift of the first-order filter at its non-inverting input.
stability analyzed, by converting them into first-order form using a block matrix.
For any first-order formula Φ(x) with (bound) variables ranging
ngs, one of the world's largest and deepest first-order freshwater springs and an exit point of the
In 1858, a first-order Fresnel lens was installed.
It was built with a first-order Fresnel lens which has since been replaced
time history of Chincoteague, including the first-order Fresnel lens from the nearby Assateague Lig
From 1891 to 1976 the tower had a first-order Fresnel lens installed in its lantern which
In 1854 a first-order Fresnel lens with flashing white light was
The station includes a first-order Fresnel lens that has a focal plane 52.5 fe
es available after the war and the original first-order Fresnel lens is reinstalled.
he original light, still in use today, is a first-order Fresnel lens (the largest type of lighthous
It was ostensibly equipped with a first-order fresnel lens, though a report in 1870 state
s that accompany launches were damaging the first-order Fresnel lens, it was removed in 1993 and pl
This lighthouse used a first-order Fresnel lens which allowed the light to shi
predicative function of an individual is a first-order function; and for higher types of arguments
ually, the lattice of vectors represent the first-order gradient of a scalar field, here an M x M s
Thus the sought-for equation that is first-order in both space and time is
As stated above, a first-order interpretation is usually required to speci
To ascribe meaning to all sentences of a first-order language, the following information is need
The set of all consistent theories of a first-order language.
A new first-order lens was installed in the tower on January
The lens was the first-order lens from Cape Disappointment, and was firs
In 1935, the first-order lens was replaced by a fourth-order lens.
The first-order lens was moved to North Head and a fourth-o
Its first light was displayed from a first-order lens in 1857 and was Washington Territory's
The original first-order lens was replaced by a fourth-order lens in
ibiting a fixed white electric light from a first-order lens visible for 18 miles (29 km).
It has first-order lenses when it was first lit on August 1, 1
The first-order light was constructed by the Spaniards to l
It was also the first of the five first-order lighthouses built by the Spaniards in the l
any set X, any subset of X definable using first-order logic exists.
he logical formalisms as Description Logic, First-order Logic and Logic Programming .
using axiom schemata as in the example any first-order logic can be made zeroth-order.
nother famous result that he proved is that first-order logic has a zero-one law, a tool for provin
SPASS is an automated theorem prover for first-order logic with equality developed at the Max Pl
Kit), is a theorem prover for multi-sorted first-order logic intended for applications in artifici
he general case of the decision problem for first-order logic is unsolvable (see Church's theorem).
It has first-order logic semantics, and includes machinery for
ilary Putnam for checking the validity of a first-order logic formula using a resolution-based deci
These constraints are expressed in a first-order logic language and can be used to, e.g., ru
the (state-of-the-art) theorem provers for first-order logic are based on superposition (e.g. the
Schematic variables in first-order logic are usually trivially eliminable in s
nition of truth" in terms of a T-schema for first-order logic is an example of fully interpreted fo
ns precisely those languages expressible in first-order logic with an added commutative transitive
sor component accepts a problem in the full first-order logic syntax, clausifies it and performs a
Introduction to the Metatheory of Standard First-Order Logic' published in 1971.
hese semantics is equivalent to many-sorted first-order logic, rather than being stronger than firs
One may also choose among classical first-order logic, various higher-order logics and intu
s has all the model-theoretic properties of first-order logic, and has a complete, sound, effective
In first-order logic, an atomic formula consists of a pred
ch applies the ideas of a Markov network to first-order logic, enabling uncertain inference.
ibuted, high-performance theorem prover for first-order logic, and it pioneered a number of importa
ramming language, an extensible theory in a first-order logic, and a mechanical theorem prover.
Markov logic networks generalize first-order logic, in the sense that, in a certain limi
c predicate calculus is also called monadic first-order logic.
For the specific term, see First-order logic.
s is a calculus for reasoning in equational first-order logic.
rm "predicate logic" occasionally refers to first-order logic.
a simple structural modeling tool based on first-order logic.
finally propositional logic, set theory and first-order logic.
ped to an existing formal language, such as first-order logic.
ons, it is possible to derive any number of first-order microphones, pointing in any direction, bef
which constitute the coordinate ring of the first-order neighbourhood of a point on the affine line
ems and arguments expressed in unrestricted first-order notation in the KIF (knowledge interchange
ns for the transition probability, based on first-order perturbation Hamiltonians, can be found in
It uses a first-order post-Newtonian expansion and thus is valid
Output Rule in first-order predicate logic
First-order predicate logic uses rules of inference to
To make this a system of first-order predicate logic, the generalization rules
t has more efficient decision problems than first-order predicate logic.
axiomatic set theory, lambda calculus, and first-order predicate logic.
A first-order predicate (also called a monad) is a predic
r-configurable automated theorem prover for first-order predicate logic with equality.
Since first-order processes are more common than second-order
A first-order rational difference equation is a nonlinear
much higher temperatures than predicted by first-order reaction kinetics.*
back into its components, by an acid, is a first-order reaction with respect to the ester.
in vitro studies showed that it catalyzes a first-order reaction where its mechanism of cleavage is
nce assumed that catagenetic processes were first-order reactions, some research has shown that thi
the early 1990s and combines concepts from first-order resolution with ordering-based equality han
der network can be constructed by cascading first-order sections together.
In that circumstance, for n identical first-order sections in cascade, the voltage transfer f
Then the first-order sentence
ver, the following criteria can be coded as first-order sentences in the language of fields, and ar
ded and can be expressed in the language of first-order set theory.
Where frequency analysis is based on first-order statistics, contact analysis is based on se
Thus, if a first-order stream joins a second-order stream, it rema
re input and output in KIF or its own infix first-order syntax, and other syntactic forms can be ad
than the 'aimless wandering' produced by a first-order system.
only used and more practical alternative to first-order theorem proving in automated theorem provin
Further information: List of first-order theories
Some first-order theories are algorithmically decidable; exa
For first-order theories, interpretations are commonly call
The general first-order theory of the natural numbers expressed in
ical logic the theory of pure equality is a first-order theory.
For first-order weak reactions, it holds that .