FIRST-ORDER in Vietnamese translation

• bậc nhất
• thứ nhất
• đầu tiên
• ban đầu

Examples of using First-order in English and their translations into Vietnamese

active metabolite of 14-Hydroxydihydrocodeine, an uncommonly used opiate(but is therefore also an active metabolite of a first-order active metabolite of oxycodone).
do đó cũng là một chất chuyển hóa hoạt động của chất chuyển hóa hoạt động bậc nhất của oxycodone).

The adjective"first-order" distinguishes first-order logic from higher-order logic in which there are predicates having predicates or functions as arguments, or in which one or both of predicate quantifiers or function quantifiers are permitted.[3]: 56 In first-order theories, predicates are often associated with sets.
Cụm từ" bậc nhất" phân biệt logic bậc nhất với logic bậc cao hơn trong đó có các vị từ có các đối số là các vị từ khác hoặc các hàm.[ 1]: 56 Trong các lý thuyết bậc nhất, các vị từ thường được liên kết với các tập hợp.

In mathematical logic, a definable set is an n-ary relation on the domain of a structure whose elements are precisely those elements satisfying some formula in the first-order language of that structure. A set can be defined with or without parameters, which are elements of the domain that can be referenced in the formula defining the relation.
Trong logic toán, một tập hợp định nghĩa được là một quan hệ n- ngôi trên tập hợp miền của một cấu trúc sao cho các phần tử của nó là các phần tử thỏa mãn một công thức trong ngôn ngữ bậc nhất của cấu trúc đó. Một tập hợp có thể được định nghĩa với tham số hoặc không.

Turkey's major strategic goals in the Syrian civil war do not align with our own, since their first-order concerns are to prevent the Kurds from gaining strength to attack the Turkish state, and to protect Turkmen living in Syria.
Mục tiêu chiến lược của Thổ Nhĩ Kỳ đối với cuộc nội chiến Syria cũng không song hành với phương Tây khi mối lo lắng lớn nhất của họ chỉ là làm thế nào để ngăn chặn cộng đồng người Kurd tấn công chính quyền Thổ Nhĩ Kỳ và bảo vệ những người Turk tại Syria.

Such a schema includes one axiom per predicate definable in the first-order language of Peano arithmetic, making it weaker than the second-order axiom.[8] The reason that it is weaker is that the number of predicates in first-order language is countable, whereas the number of sets of natural numbers is uncountable.
Một sơ đồ như vậy bao gồm một tiên đề cho mỗi vị ngữ định nghĩa được trong ngôn ngữ bậc nhất của số học Peano, khiến cho nó yếu hơn tiên đề bậc hai.[ 8] Lý do nó yếu hơn là vì số lượng vị từ trong ngôn ngữ bậc nhất là có thể đếm được, trong khi số lượng các tập hợp số tự nhiên là không đếm được.

the compactness theorem implies that the existence of nonstandard elements cannot be excluded in first-order logic.[13] The upward Löwenheim- Skolem theorem shows that there are nonstandard models of PA of all infinite cardinalities.
không chuẩn mực là không thể loại trừ được trong logic thứ nhất.[ 13] Định lý Löwenheim- Skolem đi lên cho thấy rằng có những mô hình PA không chuẩn cho tất cả các số đếm vô hạn.

First-order theory of arithmetic.
Lý thuyết số học bậc nhất.

Structures and first-order logic.
Cấu trúc và logic bậc nhất.

Is not a sentence of first-order logic.
Không phải là một câu hợp pháp của logic bậc nhất.

And the first-order condition becomes.
Điều kiện ban đầu trở thành.

Many logics besides first-order logic are studied.
Nhiều logic ngoài logic thứ nhất được nghiên cứu.

This leads to the first-order energy shift.
Điều này dẫn đến sự dịch năng lượng bậc một.

There are two key parts of first-order logic.
Có hai phần chính của logic bậc nhất.

First-order axiomatizations of Peano arithmetic have another technical limitation.
Các tiên đề bậc nhất của số học Peano có một hạn chế kỹ thuật khác.

Subject to the first-order dynamic constraints(the state equation).
Tùy theo các giới hạn động học bậc một( phương trình trạng thái).

Euler's method can be regarded as a first-order Runge-Kutta method.
Phương pháp Euler có thể được coi là phương pháp Runge- Kutta bậc nhất.

This situation cannot be avoided with any first-order formalization of set theory.
Tình trạng này không thể tránh được với bất kỳ cách hình thức hóa bậc nhất nào của lý thuyết tập hợp.

In first-order logic, one can quantify over individuals, but not over properties.
Trong logic bậc nhất, người ta có thể lượng hóa các đối tượng, nhưng không thể lượng hóa các thuộc tính.

Other classical logics[edit] Many logics besides first-order logic are studied.
Nhiều logic ngoài logic thứ nhất được nghiên cứu.

Interestingly, experimental evidence indicates that this phase forms by a first-order transition.
Điều thú vị là, bằng chứng thực nghiệm cho thấy đây hình thức pha bằng một lệnh đầu tiên chuyển đổi.