「firſt order」の共起表現(2語右で並び替え)

Weblio 辞書 > 英和辞典・和英辞典 > firſt orderの意味・解説 > firſt orderに関連した共起表現

意味

例文

共起表現

「firſt order」の共起表現一覧(2語右で並び替え)

該当件数 : 95件

In	first-order logic, an atomic formula consists of a pred
predicative function of an individual is a	first-order function; and for higher types of arguments
s has all the model-theoretic properties of	first-order logic, and has a complete, sound, effective
he logical formalisms as Description Logic,	First-order Logic and Logic Programming .
re input and output in KIF or its own infix	first-order syntax, and other syntactic forms can be ad
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.
Some	first-order theories are algorithmically decidable; exa
Since	first-order processes are more common than second-order
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
The definition given above is not a	first-order definition, as it requires quantifiers over
ass filter is double the phase shift of the	first-order filter at its non-inverting input.
Thus the sought-for equation that is	first-order in both space and time is
raniological examinations, bears a striking	first-order (father-to-son, brother-to-brother) relatio
It was also the first of the five	first-order lighthouses built by the Spaniards in the l
using axiom schemata as in the example any	first-order logic can be made zeroth-order.
Where frequency analysis is based on	first-order statistics, contact analysis is based on se
A	first-order rational difference equation is a nonlinear
ch applies the ideas of a Markov network to	first-order logic, enabling uncertain inference.
	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.
any set X, any subset of X definable using	first-order logic exists.
It uses a	first-order post-Newtonian expansion and thus is valid
ilary Putnam for checking the validity of a	first-order logic formula using a resolution-based deci
The lens was the	first-order lens from Cape Disappointment, and was firs
ns for the transition probability, based on	first-order perturbation Hamiltonians, can be found in
nother famous result that he proved is that	first-order logic has a zero-one law, a tool for provin
ems and arguments expressed in unrestricted	first-order notation in the KIF (knowledge interchange
Its first light was displayed from a	first-order lens in 1857 and was Washington Territory's
In that circumstance, for n identical	first-order sections in cascade, the voltage transfer f
ver, the following criteria can be coded as	first-order sentences in the language of fields, and ar
Markov logic networks generalize	first-order logic, in the sense that, in a certain limi
Kit), is a theorem prover for multi-sorted	first-order logic intended for applications in artifici
For	first-order theories, interpretations are commonly call
As stated above, a	first-order interpretation is usually required to speci
he general case of the decision problem for	first-order logic is unsolvable (see Church's theorem).
nition of truth" in terms of a T-schema for	first-order logic is an example of fully interpreted fo
Thus, if a	first-order stream joins a second-order stream, it rema
much higher temperatures than predicted by	first-order reaction kinetics.*
These constraints are expressed in a	first-order logic language and can be used to, e.g., ru
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
This lighthouse used a	first-order Fresnel lens which allowed the light to shi
In 1858, a	first-order Fresnel lens was installed.
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
r-configurable automated theorem prover for	first-order predicate logic with equality.
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.
Def 1 appeared first historically and is a	first-order axiomatization of the ordering ≤ as a binar
The general	first-order theory of the natural numbers expressed in
ually, the lattice of vectors represent the	first-order gradient of a scalar field, here an M x M s
which constitute the coordinate ring of the	first-order neighbourhood of a point on the affine line
ons, it is possible to derive any number of	first-order microphones, pointing in any direction, bef
only used and more practical alternative to	first-order theorem proving in automated theorem provin
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
For	first-order weak reactions, it holds that .
It has	first-order logic semantics, and includes machinery for
nce assumed that catagenetic processes were	first-order reactions, some research has shown that thi
ngs, one of the world's largest and deepest	first-order freshwater springs and an exit point of the
As most	first-order calculi, superposition tries to show the un
sor component accepts a problem in the full	first-order logic syntax, clausifies it and performs a
Pointwise circumscription is a variant of	first-order circumscription that has been introduced by
To ascribe meaning to all sentences of a	first-order language, the following information is need
Gandalf is a	first-order automated theorem prover applied to several
ded and can be expressed in the language of	first-order set theory.
The expression for the	first-order correction to the wavefunction is therefore
der network can be constructed by cascading	first-order sections together.
stability analyzed, by converting them into	first-order form using a block matrix.
One may also choose among classical	first-order logic, various higher-order logics and intu
ibiting a fixed white electric light from a	first-order lens visible for 18 miles (29 km).
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
The	first-order light was constructed by the Spaniards to l
The original	first-order lens was replaced by a fourth-order lens in
A new	first-order lens was installed in the tower on January
It has	first-order lenses when it was first lit on August 1, 1
in vitro studies showed that it catalyzes a	first-order reaction where its mechanism of cleavage is
back into its components, by an acid, is a	first-order reaction with respect to the ester.
SPASS is an automated theorem prover for	first-order logic with equality developed at the Max Pl
the early 1990s and combines concepts from	first-order resolution with ordering-based equality han
ns precisely those languages expressible in	first-order logic with an added commutative transitive

共起表現

「firſt order」の共起表現(2語右で並び替え) - Weblio英語共起表現検索

「firſt order」の共起表現一覧(2語右で並び替え)