「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 |
| 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会員(無料)になると
|
