completeness
C1danh từ (noun)
Nghĩa chính
- Sự đầy đủ, tính hoàn chỉnhdanh từkhông đếm được (uncountable)The state or condition of being complete.
- Tính đầy đủdanh từkhông đếm được (uncountable)The property of a logical theory that whenever a wff is valid then it must also be a theorem. Symbolically, letting T represent a theory within logic L, this can be represented as the property that whenever T⊨ϕ is true, then T⊢ϕ must also be true, for any wff φ of logic L.
Dạng từ (word form)
theo quy tắc (regular)- completenessDạng gốc (base form)
- completenessesSố nhiều (plural)
Cụm từ (phrase)
| Cụm từ | Từ loại | Nghĩa |
|---|---|---|
| NP-completenessdanh từ | danh từ | Trạng thái hoặc điều kiện là NP-đầy đủ |
| completeness axiomdanh từ | danh từ | Tiên đề sau (áp dụng cho trường có thứ tự): đối với bất kỳ tập hợp con nào của trường có thứ tự đã cho, nếu có bất kỳ giới hạn trên nào cho tập hợp con này thì cũng có một giá trị tối đa cho tập hợp con này và giá trị tối đa này là một phần tử của trường có thứ tự đã cho (mặc dù không nhất thiết phải thuộc tập hợp con) |
Ví dụ
- , , , .Vì tính trọn vẹn, hãy đề cập rằng vành R, được coi là một mô-đun trên chính nó, có các mô-đun con có độ dài hữu hạn lớn tùy ý.
- , , Grimm's — .Ý tưởng trẻ con của ông thực ra là việc đẩy độ chính xác toán học đến cực hạn của cái được biết đến rộng rãi là Định luật Grimm—sự nâng tầm các quy tắc thô sơ lên thành sự hoàn hảo lý tưởng.
- , , , , , .
Đồng nghĩa (synonym)
Đồng nghĩa
Trái nghĩa