| 单词 |
first-order theory |
| 释义 |
first-order theory first-order theory[¦fərst ‚ȯrd·ər ′thē·ə·rē] (mathematics) A logical theory in which predicates are not allowed to have other functions or predicates as arguments and in which predicate quantifiers and function quantifiers are not permitted. (optics) Gaussian optics (physics) A theory which takes into account only the most important terms, such as the term proportional to the independent variable in the series expansion of a function appearing in the theory. |
| 随便看 |
- vignola
- vignola, giacomo barozzi da
- vignola, giacomo barozzi de
- vignola, giacomo da
- vignolesque
- vigny
- vigny, alfred victor, comte de
- vigny alfred victor de
- vigny, alfred victor de
- vigo
- vigo county
- vigo county, in
- vigo county, indiana
- vigo, francis
- vigo, jean
- vigonia
- vigor
- vigorexia
- vigorish
- vigorishes
- vigorite
- vigoro
- vigoroso
- vigorous
- vigorous exercise
|