「firſt 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 |
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 |
In 1858, a | first-order Fresnel lens was installed. |
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. |
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). |
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 |
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. |
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 |
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 |
finally propositional logic, set theory and | first-order logic. |
ped to an existing formal language, such as | first-order logic. |
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. |
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 |
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. |
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 |
Since | first-order processes are more common than second-order |
A | first-order rational difference equation is a nonlinear |
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 |
much higher temperatures than predicted by | first-order reaction kinetics.* |
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 |
In that circumstance, for n identical | first-order sections in cascade, the voltage transfer f |
der network can be constructed by cascading | first-order sections together. |
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 |
Some | first-order theories are algorithmically decidable; exa |
Further information: List of | first-order theories |
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 . |
こんにちは ゲスト さん
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |
こんにちは ゲスト さん
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |